Document exit() and warn().