TCC does support attribute(section(…)), actually (via jado) — discussion

#c