CCHMemoryReference
val memory_reference_data_to_pretty : CCHPreTypes.memory_reference_data_t -> CHPretty.pretty_t
val mk_memory_reference_manager : CCHPreTypes.vardictionary_int -> CCHPreTypes.memory_reference_manager_int