Print stub for inline Assembler
Inline Assembler is not interpreted by source code analysis & verification tools. Moreover, it can confuse them, e.g. CPAchecker doesn't support asm goto. So, it is better to print some stub instead of inline Assembler. For a start let's call undefined function void ldv_inline_asm(void).