let assignable_loc _te loc =
    match loc with
      | Model.Loc(x,d) -> Avar(x,d)
      | Model.Addr p -> Aaddr p