add Infinity and asm debug printers