semihosting now running