(CommandList
  children: [
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:TIME) op:Equal rhs:{(/usr/bin/time)} spids:[91])]
      spids: [91]
    )
    (C {(atf_test_case)} {(cputime_hard_flag)})
    (FuncDef
      name: cputime_hard_flag_body
      body: 
        (BraceGroup
          children: [
            (C {(atf_check)} {(-e)} {(empty)} {(-o)} 
              {(match) (Lit_Other ':') (SQ <'cputime[[:space:]]+3 secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-H)} {(-t)} {(3)} {(limits)} {(-H)}
            )
            (C {(atf_check)} {(-e)} {(empty)} {(-o)} 
              {(match) (Lit_Other ':') (SQ <'cputime[[:space:]]+3 secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-H)} {(-t)} {(3)} {(limits)} {(-S)}
            )
            (C {(atf_check)} {(-e)} {(match) (Lit_Other ':') (SQ <'real[[:space:]]+[34]\\.[0-9][0-9]'>)} 
              {(-o)} {(empty)} {(-s)} {(signal) (Lit_Other ':') (sigkill)} {(limits)} {(-H)} {(-t)} {(3)} {($ VSub_Name '$TIME')} 
              {(-p)} {(sh)} {(-c)} {(SQ <'while : ; do : ; done'>)}
            )
          ]
          spids: [103]
        )
      spids: [99 102]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:SIGXCPU) op:Equal rhs:{(24)} spids:[222])]
      spids: [222]
    )
    (C {(atf_test_case)} {(cputime_soft_flag)})
    (FuncDef
      name: cputime_soft_flag_body
      body: 
        (BraceGroup
          children: [
            (C {(atf_check)} {(-e)} {(empty)} {(-o)} 
              {(match) (Lit_Other ':') (SQ <'cputime-max[[:space:]]+infinity secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-S)} {(-t)} {(3)} {(limits)} {(-H)}
            )
            (C {(atf_check)} {(-e)} {(empty)} {(-o)} 
              {(match) (Lit_Other ':') (SQ <'cputime-cur[[:space:]]+3 secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-S)} {(-t)} {(3)} {(limits)} {(-S)}
            )
            (C {(atf_check)} {(-e)} {(match) (Lit_Other ':') (SQ <'real[[:space:]]+[34]\\.[0-9][0-9]'>)} 
              {(-o)} {(empty)} {(-s)} {(signal) (Lit_Other ':') ($ VSub_Name '$SIGXCPU')} {(limits)} {(-S)} {(-t)} {(3)} 
              {($ VSub_Name '$TIME')} {(-p)} {(sh)} {(-c)} {(SQ <'while : ; do : ; done'>)}
            )
          ]
          spids: [237]
        )
      spids: [233 236]
    )
    (FuncDef
      name: atf_init_test_cases
      body: 
        (BraceGroup
          children: [
            (C {(atf_add_test_case)} {(cputime_hard_flag)})
            (C {(atf_add_test_case)} {(cputime_soft_flag)})
          ]
          spids: [360]
        )
      spids: [356 359]
    )
  ]
)