let startof l _cv =
    match l with
      | Model.Loc(b,ofs) -> Model.Loc(b,ofs)
      | Model.Addr p -> Model.Addr (model_addr_shift p zero)