void fatalSimple(Result err);