add a section id for +RTS -hT