1Known issues:
2-------------
3- MacOS does not implement POSIX sigtimedwait(). We used a simpler workaround. See (Shell.cpp, ln. 38-46).
4
5