Does `size` not work as an `int`?