(command.CommandList
  children: [
    (C {<atf_test_case>} {<x509v3>})
    (command.ShFunction
      name: x509v3_head
      body: 
        (BraceGroup
          children: [(C {<atf_set>} {(DQ <descr>)} {(DQ <'Checks x509v3 certificates'>)})]
        )
    )
    (command.ShFunction
      name: x509v3_body
      body: 
        (BraceGroup
          children: [
            (C {<atf_check>} {<-o>} {<ignore>} {<-e>} {<ignore>} 
              {
                (DQ (command_sub left_token:<Id.Left_DollarParen '$('> child:(C {<atf_get_srcdir>})) 
                  <'/h_x509v3test'>
                )
              }
            )
          ]
        )
    )
    (command.ShFunction
      name: atf_init_test_cases
      body: (BraceGroup children:[(C {<atf_add_test_case>} {<x509v3>})])
    )
  ]
)