//TODO:Make the third argument of debug.cpp a default argument.