Test hypothesis

Expected return: 0x00000008 => 0x08000000