let memory_type_name = Fol.PTexternal ([], "memory_type")