185 			fatal_exit("%d: bad entry", pstate->lineno);  in replay_range_read()
207 		fatal_exit("FILE_BEGIN expected at line %d", *lineno);  in read_file_content()
209 		fatal_exit("FILE_BEGIN expected at line %d", *lineno);  in read_file_content()
217 			fatal_exit("malloc failure");  in read_file_content()
220 	fatal_exit("no FILE_END in input file");  in read_file_content()
232 		fatal_exit("cannot parse assign: %s", remain);  in read_assign_step()
235 		fatal_exit("no '=' in assign: %s", remain);  in read_assign_step()
240 		fatal_exit("out of memory");  in read_assign_step()
278 			fatal_exit("internal error");  in replay_moment_read()
298 			if(!mom->string) fatal_exit("out of memory");  in replay_moment_read()
309 		if(!mom->autotrust_id) fatal_exit("out of memory");  in replay_moment_read()
317 		if(!mom->autotrust_id) fatal_exit("out of memory");  in replay_moment_read()
333 		if(!remain) fatal_exit("expected three args for INFRA_RTT");  in replay_moment_read()
339 		if(!m) fatal_exit("expected three args for INFRA_RTT");  in replay_moment_read()
345 			fatal_exit("bad infra_rtt address %s", s);  in replay_moment_read()
349 		if(!mom->string) fatal_exit("out of memory");  in replay_moment_read()
350 		if(!mom->variable) fatal_exit("out of memory");  in replay_moment_read()
445 				fatal_exit("%d: double SCENARIO_BEGIN", *lineno);  in replay_scenario_read()
448 				fatal_exit("%d: could not make scen", *lineno);  in replay_scenario_read()
452 			fatal_exit("%d: expected SCENARIO", *lineno);  in replay_scenario_read()
457 				fatal_exit("%d: bad range", pstate.lineno);  in replay_scenario_read()
465 				fatal_exit("%d: bad moment", pstate.lineno);  in replay_scenario_read()
469 				fatal_exit("%d: time goes backwards", *lineno);  in replay_scenario_read()
774 	fatal_exit("value %.24g not in range [%.24g, %.24g]", y, x, z);  in do_macro_range()
918 	do { if(!(x)) fatal_exit("%s:%d: %s: assertion %s failed", \