1	import Base
2	
3	# Shared representation only; this module contains no algorithm or operations.
4	
5	# A 64-bit word as its two 32-bit halves, most significant first.
6	type Lane is Data:
7	  W{hi: U32, lo: U32}
8	
9	# The working variables a..h (and the chaining value H0..H7).
10	type State is Data:
11	  H{a: Lane, b: Lane, c: Lane, d: Lane, e: Lane, f: Lane, g: Lane, h: Lane}