Huh, gdb now has colors. That’s nice.