Symbol: SIZEOF_INT