source /build/buildd/php5*/.gdbinit
set history filename ~/.gdb_history
set history save
set print array on
set print object on
set print symbol-filename on
set print pretty on
set height 0
