Use __stringify() instead of xstr()