Integer header file