9068e07
the gdb pretty printers are not strictly required (cherry picked from commit 6dab74f676a6e9ec487d35756945f214903c8147)