3 ms·

Yeah, but having got through the problem->symbols bottleneck, it's nice not to have another one waiting.