added the include for standard integer type