pub type ExecutionContextHandle = u32;
ExecutionContextHandle_t (spec §5.2.2.8, p. 30) — opaque handle for the association of an RTC with an execution context.
ExecutionContextHandle_t