main must return an int