A test for dekker test to validate the reordering problem in x86