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