mbed_example / Mbed OS Serial_ex_1