printf ("0x%lX ", ord $buffer);