Third iteration of contracts for non-Void-safe users
Fourth round of contracts for non-Void-safe users
Merge pull request #42 from colin-adams/master

Contracts for non-Void-safe users (take 3)