<div dir="auto">Try this in a workspace:</div><div dir="auto"><br></div><div dir="auto">[a _ (1 << 60) atRandom.</div><div dir="auto">b _ (a bitReverse: 64) bitReverse: 64.</div><div dir="auto">a = b] whileFalse</div><div dir="auto"><br></div><div dir="auto">I tested it in the latest image with a recent cog spur x64 VM. The loop stops with a ‘b’ that is a LargePositiveInteger but it actually fits in a SmallInteger and it is equal to ‘a’. I don’t have time to debug it until the weekend but I thought someone might find it amusing.</div>