let
print_check = ref (
fun
_
->
())