config SEMIHOSTING
       bool