main() should have int return type