(CommandList
  children: [
    (C {(set)} {(-e)})
    (FuncDef
      name: check
      body: 
        (BraceGroup
          children: [
            (C {(awk)} 
              {
                (DQ ('\n') ('BEGIN { saw1 = 0; saw2 = 0; err = 0; }\n') ('/.*') ($ VSub_Number '$2') 
                  (EscapedLiteralPart token:<Lit_EscapedChar '\\$'>) ('/ { saw1 = 1; }\n') ('/.*') ($ VSub_Number '$3') (EscapedLiteralPart token:<Lit_EscapedChar '\\$'>) 
                  ('/ {\n') ('     saw2 = 1;\n') ('     if (!saw1)\n') ('       {\n') ('\t  printf ') 
                  (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) ('layout of ') ($ VSub_Number '$2') (' and ') ($ VSub_Number '$3') (' is not right') 
                  (EscapedLiteralPart token:<Lit_EscapedChar '\\\\'>) (n) (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) (';\n') ('\t  err = 1;\n') ('\t  exit 1;\n') 
                  ('       }\n') ('    }\n') ('END {\n') ('      if (!saw1 && !err)\n') ('        {\n') ('\t  printf ') 
                  (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) ('did not see ') ($ VSub_Number '$2') (EscapedLiteralPart token:<Lit_EscapedChar '\\\\'>) (n) 
                  (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) (';\n') ('\t  exit 1;\n') ('\t}\n') ('      if (!saw2 && !err)\n') ('\t{\n') ('\t  printf ') 
                  (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) ('did not see ') ($ VSub_Number '$3') (EscapedLiteralPart token:<Lit_EscapedChar '\\\\'>) (n) 
                  (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) (';\n') ('\t  exit 1;\n') ('\t}\n') ('    }')
                )
              } {($ VSub_Number '$1')}
            )
          ]
          spids: [74]
        )
      spids: [70 73]
    )
    (C {(check)} {(final_layout.stdout)} {(DQ (_Z3barv))} {(DQ (_Z3bazv))})
    (C {(check)} {(final_layout.stdout)} {(DQ (_Z3bazv))} {(DQ (_Z3foov))})
    (C {(check)} {(final_layout.stdout)} {(DQ (global_varb))} {(DQ (global_vara))})
    (C {(check)} {(final_layout.stdout)} {(DQ (global_vara))} {(DQ (global_varc))})
  ]
)