3 ms·Indeed. And 32-bits on 32-bit Linux of course.by gpderetta 3y agoIndeed. And 32-bits on 32-bit Linux of course.