let
printer = ref debug_print