let debug (s:string) = if (!verbose_mode) then begin print_string s; print_newline(); flush stdout; end