* interpreter/debug_events.ml: comment