let startof loc te = index loc te (F.e_int 0)