Can use `error.core.opt!int(-1)` here.