let
valid mem a =
model_valid mem.talloc
(addr_of_assignable (assignable a))
(assignable_sizeof a)