while (!eof TRACEFILE) {
	$in_line = <TRACEFILE>;