I know that #xdeadbeef lets me input in hex, but is there something like C's fprintf(stderr, "%x"); ? Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20090622/f5e2145a/attachment.htm>