The C Programming Language Exprecise