local  open Mixture Const;in (* Relocation information *) datatype reloc_info =    Reloc_getglobal of (QualifiedIdent * int)  (* reference to a global *)  | Reloc_literal of StructConstant            (* structured constant *)  | Reloc_primitive of string                  (* C primitive number *)  | Reloc_setglobal of (QualifiedIdent * int)  (* definition of a global *); type compiled_phrase ={  cph_pos: int,                        (* Position of start of code *)  cph_len: int,                        (* Length of code *)				       (* What to patch *)  cph_reloc: (StructConstant * int list) list * (reloc_info * int) list,   cph_pure: bool                       (* Can be omitted or not *)}; type compiled_unit_tables ={  cu_phrase_index: compiled_phrase list,  cu_exc_ren_list: (QualifiedIdent * (QualifiedIdent * int)) list,  cu_val_ren_list: (string * int) list,  cu_sig_stamp:    SigStamp,  cu_mentions:     (string, SigStamp) Hasht.t}; end;