grapher and wsd-gdbg