test/all/undefined/foreign/port_type/port_type.dzn:29:3: error: undefined interface `ihello'
