余計なお世話になるが

printf("%x\n", 3["0123456"]);

これでもいいんだよな