Changes for semihosting