Removed duplicate of genint.h