Implement pointer_size() to figure out if we are on a 32 bit or 64 bit system.