let addr_of_assignable = function
    | Avar(x,ofs) -> model_addr (D.Xindex.get_ind x) ofs
    | Aaddr p -> p
    | Arange(p,ofs,_sz) -> model_addr_shift p ofs