Jingyuan Dong / Mbed 2 deprecated Part1_runAtTrigger