Energia sketches for the TI MSP430 and Tiva C