1	import Base
2	
3	# Shared representation only; this module contains no algorithm or operations.
4	# FIPS 197 section 3: a word (Quad) is four bytes, and the 4x4 state is four columns,
5	# column c holding the bytes s[0,c], s[1,c], s[2,c], s[3,c]. A byte is a U32.
6	type Quad is Data:
7	  W{b0: U32, b1: U32, b2: U32, b3: U32}
8	
9	type State is Data:
10	  S{c0: Quad, c1: Quad, c2: Quad, c3: Quad}