If ’pattern’ is an empty string, the last I<successfully> matched