On 4/6/2020 3:53 AM, Moritz Barsnick wrote: > It is correct: Even if not correct, wrong/whacky cmd line parameters shouldn't cause a hard crash. (Later email suggests this might be platform-dependent.) z!