Constant DISABLE_GDB_PRETTY_PRINTERS 

pub(crate) const DISABLE_GDB_PRETTY_PRINTERS: &str = "disable-gdb-pretty-printers";