* h_program-lang/skip_code.ml: