Second re-implementation of E*, this time in C and generally purified and simplified. Just the basics, but done right.