[NTG-context] Interrupt section numbering