* h_program-lang/info_code.ml: comment