Trying to clarify eint_t.  Maybe it needs to go?