A Malloc-Free SHET Client Library for Microcontrollers