type infos = (string * (int * int)) list
val syntax_highlighting_locs : string -> infos