semihosting: User defined operation, Tcl command exec on host