{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
// only encode as a vector of [start_line, start_col, end_col].
// SCIP Ranges have a (very large) optimization that ranges if they are on the same line
//