Update ix_internal.h