Code Contracts: validating arrays and collections | Hacker News Reader