OS API and Wire interfaces
Task 4a: System APIs and Protocols TLS: nqsbTLS TCP: Netsem POSIX filesystem test oracle: SibylFS POSIX filesystem logic