49a50
> uint64_t rpns(ThreadContext *tc);