Tweak these two test cases for 32 bit systems