3 ms·

I wonder if with 128-bit wide pointers it would make sense to start using early-lisp-style tagged pointers.