use `int`