trying to get semihosting working