Semihosting using STM32F100 and rdimon