* h_program-lang/skip_code.ml: note