(CommandList
  children: [
    (C {(atf_test_case)} {(max_seek)})
    (FuncDef
      name: max_seek_head
      body: 
        (BraceGroup
          children: [(C {(atf_set)} {(DQ (descr))} {(DQ ('dd(1) can seek by the maximum amount'))})]
          spids: [88]
        )
      spids: [84 87]
    )
    (FuncDef
      name: max_seek_body
      body: 
        (BraceGroup
          children: [
            (Case
              to_match: 
                {
                  (CommandSubPart
                    command_list: 
                      (CommandList
                        children: [
                          (Pipeline
                            children: [
                              (C {(df)} {(-T)} {(.)})
                              (C {(tail)} {(-n)} {(1)})
                              (C {(cut)} {(-wf)} {(2)})
                            ]
                            negated: False
                          )
                        ]
                      )
                    left_token: <Left_Backtick '`'>
                    spids: [112 134]
                  )
                }
              arms: [
                (case_arm
                  pat_list: [{(DQ (ufs))}]
                  action: [(C {(atf_skip)} {(DQ ("UFS's maximum file size is too small"))})]
                  spids: [140 142 150 16777215]
                )
                (case_arm pat_list:[{(DQ (zfs))}] spids:[154 156 158 16777215])
                (case_arm
                  pat_list: [{(DQ (tmpfs))}]
                  action: [(C {(atf_skip)} {(DQ ("tmpfs can't create arbitrarily large spare files"))})]
                  spids: [165 167 175 16777215]
                )
                (case_arm
                  pat_list: [{(Lit_Other '*')}]
                  action: [(C {(atf_skip)} {(DQ ('Unknown file system'))})]
                  spids: [178 179 186 16777215]
                )
              ]
              spids: [110 136 189]
            )
            (C {(touch)} {(f.in)})
            (Assignment
              keyword: Assign_None
              pairs: [
                (assign_pair
                  lhs: (LhsName name:seek)
                  op: Equal
                  rhs: 
                    {
                      (CommandSubPart
                        command_list: 
                          (CommandList
                            children: [
                              (Pipeline
                                children: [(C {(echo)} {(DQ ('2^63 / 4096 - 1'))}) (C {(bc)})]
                                negated: False
                              )
                            ]
                          )
                        left_token: <Left_Backtick '`'>
                        spids: [199 209]
                      )
                    }
                  spids: [198]
                )
              ]
              spids: [198]
            )
            (C {(atf_check)} {(-s)} {(exit) (Lit_Other ':') (0)} {(-e)} {(ignore)} {(dd)} 
              {(Lit_VarLike 'if=') (f.in)} {(Lit_VarLike 'of=') (f.out)} {(Lit_VarLike 'bs=') (4096)} {(Lit_VarLike 'seek=') ($ VSub_Name '$seek')}
            )
          ]
          spids: [107]
        )
      spids: [103 106]
    )
    (C {(atf_test_case)} {(seek_overflow)})
    (FuncDef
      name: seek_overflow_head
      body: 
        (BraceGroup
          children: [(C {(atf_set)} {(DQ (descr))} {(DQ ('dd(1) should reject too-large seek values'))})]
          spids: [249]
        )
      spids: [245 248]
    )
    (FuncDef
      name: seek_overflow_body
      body: 
        (BraceGroup
          children: [
            (C {(touch)} {(f.in)})
            (Assignment
              keyword: Assign_None
              pairs: [
                (assign_pair
                  lhs: (LhsName name:seek)
                  op: Equal
                  rhs: 
                    {
                      (CommandSubPart
                        command_list: 
                          (CommandList
                            children: [
                              (Pipeline
                                children: [(C {(echo)} {(DQ ('2^63 / 4096'))}) (C {(bc)})]
                                negated: False
                              )
                            ]
                          )
                        left_token: <Left_Backtick '`'>
                        spids: [277 287]
                      )
                    }
                  spids: [276]
                )
              ]
              spids: [276]
            )
            (C {(atf_check)} {(-s)} {(not-exit) (Lit_Other ':') (0)} {(-e)} 
              {(match) (Lit_Other ':') (DQ ('seek offsets cannot be larger than'))} {(dd)} {(Lit_VarLike 'if=') (f.in)} {(Lit_VarLike 'of=') (f.out)} {(Lit_VarLike 'bs=') (4096)} 
              {(Lit_VarLike 'seek=') ($ VSub_Name '$seek')}
            )
            (C {(atf_check)} {(-s)} {(not-exit) (Lit_Other ':') (0)} {(-e)} 
              {(match) (Lit_Other ':') (DQ ('seek offsets cannot be larger than'))} {(dd)} {(Lit_VarLike 'if=') (f.in)} {(Lit_VarLike 'of=') (f.out)} {(Lit_VarLike 'bs=') (4096)} 
              {(Lit_VarLike 'seek=') (-1)}
            )
          ]
          spids: [268]
        )
      spids: [264 267]
    )
    (FuncDef
      name: atf_init_test_cases
      body: 
        (BraceGroup
          children: [(C {(atf_add_test_case)} {(max_seek)}) (C {(atf_add_test_case)} {(seek_overflow)})]
          spids: [362]
        )
      spids: [358 361]
    )
  ]
)