Even in C++, they are good when you want to encapsulate a statement that may return from the enclosing function. Every time I write a parser or interpreter in C

Even in C++, they are good when you want to encapsulate a statement that may return from the enclosing function. Every time I write a parser or interpreter in C++, I end up writing a macro like #define EXPECT_TYPE(node, Type) if ((node)->type != Type) { return FAIL; } and using it extensively.