sig val input_file : unit -> string val steps : unit -> int end