C and somewhat annotated disassembly