C <-> ASM translation problem