#XXX : Possible optimization: Give up if there are no matches