The diagnostic is:
Assertion failed: statement. file filename, line number
Where:
statement is the statement which failed the assertion
filename is the name of the file containing the failure
line number is the number of the line on which the failure occurs