Revert "Use 32 bits for pointers"

This reverts commit 5adffecf75e4bdc5d3d39fd125616946ff02df92.

This approach is too simplistic. We need to deal with pointers being of
different sizes.