{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"resume:"}]}
        resume: BasicBlockId,
        /// Where to resume to.
        /// The place to store the resume argument in.