Symbol: HasInt8