3 ms·

Wouldn't this require hardware support in the underlying chip or (inevitably) slow emulation of tagged pointers?