(CommandList
  children: [
    (C {(_Dbg_help_add_sub)} {(show)} {(warranty)} 
      {(SQ <"info warranty\n"> <"\n"> <"Lack of warranty of this debugger.">)} {(1)}
    )
    (C {(_Dbg_show_nolist) (Lit_Other "[") (warranty) (Lit_Other "]") (Lit_Other "=") (1)})
    (FuncDef
      name: _Dbg_do_show_warranty
      body: 
        (BraceGroup
          children: [
            (C {(_Dbg_do_info_warranty)})
            (ControlFlow token:<ControlFlow_Return return> arg_word:{(0)})
          ]
          spids: [86]
        )
      spids: [82 85]
    )
  ]
)