int bug