Adding sjeng specInt (gives compilation errors)