They could use the Tiny C Compiler if compile speeds become a concern, although it supports far few platforms and generates much slower code.