Here is an Eint/e_int bug that escaped notice!