Can we return an `int` here, please?