let data_startof ta ka ga =
    match ka with
      | Kset _ -> data_startof_set ta ga
      | _ -> LocM.startof (loc_of_data ta ga) ta )