- Ports 65 bits wide or greater are represented as arrays of uint_32 NOT uint_64! Notice that the next level down IS represented as uint_64, and after that, back to uint_32.
- Ports between 33 and 64 bits wide inclusive are represented as uint_64.
- Ports between 16 and 32 bits wide inclusive are represented as uint_32.
- Ports between 2 and 16 bits wide inclusive are represented as uint_16.
- I believe 1 bit ports are represent as bool.