@union

uint8 a
uint16 b

# This use of _offset_ is allowed both before and after the @sealed
@assert _offset_ == {16, 24}
@sealed
@assert _offset_ == {16, 24}