Update ExtInt.h