I think it would be better style-wise to do the pattern matching outside of the verbatim.