augmented regular expressions