Use ODR_INT_PRINTF to print Integer