BUG: EXIT_SUCCESS needed at end of main