3 ms·I was wondering the same thing. Also, could profile-guided optimisation help here?by MaxBarraclough 2mo agoI was wondering the same thing. Also, could profile-guided optimisation help here?