example:
  # name                specification       expected value
  - [ type1,            'char[4]',          'x = KSIZ'             ]
  - [ size1,            'uint[2]',          'x = 4', 's = 2'       ]
  - << size1 begin >>
  - [ count,            'uint[size1]',      'x > 0'                ]
  - << size1 end >>
  # -------------------------------------------------------------- #
  - [ type2,            'char[4]',          'x = KWDA'             ]
  - [ size2,            'uint[2]',                                 ]
  - << size2 begin >>
  - [ Keywords,         'uint[4]{count}',   'c > 0'                ]
  - << size2 end >>