Hex Values in C

[Nevermore84]

does anyone know how to use hex values for ints in C? i have some int values that i need to print as hex characters, how might i do this? thanks for any help.

[EverlastingGod]

int i = 0xABCDEF01;

printf("%x", i);