For some details on regular expressions, see A.3