nhc98/tests/nhc-bugs/ix-derived
