Values of default arguments are stored in the dump.
Look for the ': 7' in the output from defaultArg.cppA















