6.2 Programming a micro:bit-style device