let global_log_print_string = ref (Printf.printf "%s%!")