Contracts for Character
Code Contracts for char and dynel