let t_debugmark s = "MARKED: " ^ s