Symbol: HasInt16