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