extern void guintcr(CTE *cte);