2 ms·

Thanks for the correction, having a read of the wikipedia x32 ABI [0] page now. [0] https://en.wikipedia.org/wiki/X32_ABI https://en.wikipedia.org/wiki/X32_ABI