Another point about `int main()`