{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
            // Non-arguments start out deinitialised; we simulate this with an
        if body.local_kind(local) != LocalKind::Arg {
            // initial move: