(command.CommandList
  children: [
    (C {<atf_test_case>} {<max_seek>})
    (command.ShFunction
      name: max_seek_head
      body: 
        (BraceGroup
          children: [(C {<atf_set>} {(DQ <descr>)} {(DQ <'dd(1) can seek by the maximum amount'>)})]
        )
    )
    (command.ShFunction
      name: max_seek_body
      body: 
        (BraceGroup
          children: [
            (command.Case
              to_match: 
                {
                  (command_sub
                    left_token: <Id.Left_Backtick '`'>
                    child: 
                      (command.Pipeline
                        children: [
                          (C {<df>} {<-T>} {<.>})
                          (C {<tail>} {<-n>} {<1>})
                          (C {<cut>} {<-wf>} {<2>})
                        ]
                        negated: F
                      )
                  )
                }
              arms: [
                (case_arm
                  pat_list: [{(DQ <ufs>)}]
                  action: [(C {<atf_skip>} {(DQ <'UFS\'s maximum file size is too small'>)})]
                  spids: [141 144 152 -1]
                )
                (case_arm pat_list:[{(DQ <zfs>)}] spids:[155 158 160 -1])
                (case_arm
                  pat_list: [{(DQ <tmpfs>)}]
                  action: [(C {<atf_skip>} {(DQ <'tmpfs can\'t create arbitrarily large spare files'>)})]
                  spids: [166 169 177 -1]
                )
                (case_arm
                  pat_list: [{<Id.Lit_Star '*'>}]
                  action: [(C {<atf_skip>} {(DQ <'Unknown file system'>)})]
                  spids: [180 181 188 -1]
                )
              ]
            )
            (C {<touch>} {<f.in>})
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:seek)
                  op: assign_op.Equal
                  rhs: 
                    {
                      (command_sub
                        left_token: <Id.Left_Backtick '`'>
                        child: 
                          (command.Pipeline
                            children: [(C {<echo>} {(DQ <'2^63 / 4096 - 1'>)}) (C {<bc>})]
                            negated: F
                          )
                      )
                    }
                  spids: [200]
                )
              ]
            )
            (C {<atf_check>} {<-s>} {<Id.ControlFlow_Exit exit> <Id.Lit_Colon ':'> <0>} {<-e>} {<ignore>} 
              {<dd>} {<Id.Lit_VarLike 'if='> <f.in>} {<Id.Lit_VarLike 'of='> <f.out>} {<Id.Lit_VarLike 'bs='> <4096>} 
              {<Id.Lit_VarLike 'seek='> ($ Id.VSub_DollarName '$seek')}
            )
          ]
        )
    )
    (C {<atf_test_case>} {<seek_overflow>})
    (command.ShFunction
      name: seek_overflow_head
      body: 
        (BraceGroup
          children: [(C {<atf_set>} {(DQ <descr>)} {(DQ <'dd(1) should reject too-large seek values'>)})]
        )
    )
    (command.ShFunction
      name: seek_overflow_body
      body: 
        (BraceGroup
          children: [
            (C {<touch>} {<f.in>})
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:seek)
                  op: assign_op.Equal
                  rhs: 
                    {
                      (command_sub
                        left_token: <Id.Left_Backtick '`'>
                        child: 
                          (command.Pipeline
                            children: [(C {<echo>} {(DQ <'2^63 / 4096'>)}) (C {<bc>})]
                            negated: F
                          )
                      )
                    }
                  spids: [280]
                )
              ]
            )
            (C {<atf_check>} {<-s>} {<not-exit> <Id.Lit_Colon ':'> <0>} {<-e>} 
              {<match> <Id.Lit_Colon ':'> (DQ <'seek offsets cannot be larger than'>)} {<dd>} {<Id.Lit_VarLike 'if='> <f.in>} {<Id.Lit_VarLike 'of='> <f.out>} {<Id.Lit_VarLike 'bs='> <4096>} 
              {<Id.Lit_VarLike 'seek='> ($ Id.VSub_DollarName '$seek')}
            )
            (C {<atf_check>} {<-s>} {<not-exit> <Id.Lit_Colon ':'> <0>} {<-e>} 
              {<match> <Id.Lit_Colon ':'> (DQ <'seek offsets cannot be larger than'>)} {<dd>} {<Id.Lit_VarLike 'if='> <f.in>} {<Id.Lit_VarLike 'of='> <f.out>} {<Id.Lit_VarLike 'bs='> <4096>} 
              {<Id.Lit_VarLike 'seek='> <-1>}
            )
          ]
        )
    )
    (command.ShFunction
      name: atf_init_test_cases
      body: 
        (BraceGroup
          children: [(C {<atf_add_test_case>} {<max_seek>}) (C {<atf_add_test_case>} {<seek_overflow>})]
        )
    )
  ]
)