Added documentation for dump_stack()