BridJ: enforce pointer mask for x86