INT case works now