improved how push pop sections is dumped
profile timers as well