Decouple SYSCALL from GUIIO