special-case return from main