correct? pretty printing of gnuAsmExpr