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