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