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