Sachs' Framework for C Programming.