A middle ground between unguarded functions and enforced spec instrumentation. - View it on GitHub