let assignable_loc te loc =
    match loc with
      | Loc l -> Xrange(l.base,l.off,sizeof te)
      | Addr (p,_) -> Ablock p