? def int8 := # value: int8