Wrapped atosl_symbolicate() debugging output in if blocks that check the static debug variable to allow the output to be hidden by default.