21.5.33, specifier.c and the x-symbol patch