put_hex(int number, char width, int vaddr); put_hex(int number, char width, char x, char y);
Output a hex (base 16) number.