/** Not required for Mbed -- malloc calls are retargeted by the platform */