fmin(3.141590, 2.718000) = 2.718000
fmax(3.141590, 2.718000) = 3.141590
read_16_rev = 3412
read_32_rev = efbeadde
after write_16_rev: 9a78
after write_32_rev: 78563412
CSE write_32_rev: ok