escape.cmo: get_enc.cmi 
escape.cmx: get_enc.cmi