debug information about lifting of inline asm