EDX register was printed twice