@ disable all @ identifier f; @@ f (...) { ... ( - xxx(); | ?- yyy(); ) ... }