working on semihosting issue