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