Thanks for this alternative solution! The use of quotes around $1 is surely prone to getting "optimized" away. If I see something like "$1" I am always tempted to remove the quotes and thus introduce a bug in these circumstances here.