{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"loaded.iter().chain(&builtin).map(|&s|"}]}
        loaded.iter().chain(&builtin).map(|&s| s.name.chars().count()).max().unwrap_or(0);
    let max_name_len =
    let padded = |x: &str| {