Update eint.h