Contracts for C (Early Stages)