Integer format specifier in c