Use uintprt_t to represent computed goto