let print_int i = Pervasives.print_int i; flush stdout