Return whatever PROCESS-ALLOW-OTHER-KEYS returns.
Complete rewrite of argument-parsing code.