fun odd (n: Uint32) -> Bool =
let Uint32(n0, _, _, _) = n in
let Byte(b0, _, _, _, _, _, _, _) = n0 in
b0
Who needs hardware support for integers anyway? If you want a two-complement arithmetic, you can build it yourself (although presumably it'll be in the standard library).
