When specified, which options provide the most verbose debugging
information possible? After reading the documentation, I am under the
impression that specifying the "-ggdb3" and "-O0" options is the way to
achieve this. Is this correct?