CCHMemoryReference
val mk_memory_reference_manager : CCHPreTypes.vardictionary_int -> CCHPreTypes.memory_reference_manager_int