runSyscallWorker :: Worker -> ThreadId -> IO ()
runSyscallWorker worker tid =
    do trivCommand worker $ runSyscallPacket tid
       return ()
runSyscallWorker :: Worker -> ThreadId -> IO ()
runSyscallWorker worker tid =
    do trivCommand worker $ runSyscallPacket tid
       return ()
runSyscallWorker worker tid =
    do trivCommand worker $ runSyscallPacket tid
       return ()