let printer = ref debug_print