Hex Values in C

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.

int i = 0xABCDEF01;

printf("%x", i);