let \1 : {} : "\1"