For some details on regular expressions, see
A.3