[squirrelfish] while (regex.exec(string)) is surprisingly slow