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);