ox 207 usr/lib/libc/stdio/vfprintf.c char ox[2]; /* space for 0x hex-prefix */ ox 512 usr/lib/libc/stdio/vfprintf.c ox[0] = '0'; ox 513 usr/lib/libc/stdio/vfprintf.c ox[1] = ch; ox 514 usr/lib/libc/stdio/vfprintf.c PRINT(ox, 2);