Then it should use `int-err`.