{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"for"}]}
    for line in lines {
    // for other lines, strip common whitespace prefix
        res.push(trim_whitespace_prefix(line, col).to_string())