Hello, Rafael.> 2) printing is hard because we are outside the AsmPrinter.Maybe it's worth to populate some array"map with needed information and than print it at once in asm printer? We're doing this trick for stdcall \fastcall function decorations at X86 printer. -- With best regards, Anton Korobeynikov. Faculty of Mathematics & Mechanics, Saint Petersburg State University.