__attribute__((noreturn)) void fatalSimple(Result err);