Add forgotten test case for the x32 commit