/* English TCB interface labels are defined in template/tcb_macros.html. */