A conformance probe for the Prospero-generation platform, in freestanding C.
The OOPS collection Source on GitHub
