typedef int PK_FUNCTION_t; This datatype represents a PK function.
PK_FUNCTION_find PK_THREAD_ask_function_run PK_THREAD_set_function_run