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