error E();
function f() pure {
    revert E();
}
// ----