extern void gmiintnp(CTE *cte);