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