The return value is `int`, right?