Corrected interpretation of asm output