@union
# One field (two are required)
uint32 a

@sealed