Constant DISABLE_GDB_PRETTY_PRINTERS 

pub const DISABLE_GDB_PRETTY_PRINTERS: &'static str = "disable-gdb-pretty-printers";