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