I think you meant `intEx` here