flinty Deu_32_13                  /^{flinty /rock ;

~~~~~~