Harmonize uses of exit()