Toit: Program your microcontrollers in a fast and robust high-level language