-- bug: shouldn't kill the whole system
System.Exit.exitFailure