sclass ExpectInteger extends Expecter { bool check(O o) { ret o instanceof S && isInteger((S) o) || o instanceof Int; } }