uart_transmit('B'); //the SBUF shows 0x42 as it should