let
t_debugmark s =
"MARKED: "
^ s