I know that #xdeadbeef lets me input in hex, but is there something like C's fprintf(stderr, "%x"); ?

Thanks!