use INT_TYPE