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