[ins] add missing header ins_int_extended.h