Access control data structures

Unless otherwise noted, all 2-byte and 4-byte integers are in big-endian format. The high-order byte of the value is in the lowest-numbered address in memory.