{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"args:"}]}
        args: &args,
    let mut integrator = Integrator {
        new_locals: caller_body.local_decls.next_index()..,