Sixth round of contracts for non-Void-safe users