Prefixed phony tokens with @ to avoid dangerously undefined behavior