That aspect can easily be replaced by __LINE__ and __FILE__.A supported way to generate new names at compile time would be nice.
It would, but in this particular case __LINE__ and __FILE__ actually provide a more natural way of solving the problem. The idea of generating new symbols to increment the counter is clever, but it's also an awkward hack.
__LINE__ already does pretty much what he needed by itself.
