Hey Tom, I don't know what is going on with the pretty printers. I just created GCC PR 55041 about this and cc'd you. It only looks like it is some platforms? I can reproduce on F17 x86_64. -benjamin