///|
pub using @execution {
  type NativeExecutionState,
  type NativeExecutionStateError,
  type NativeInvocationPhase,
  type NativeInvocationHandle,
  type NativeContinuationArena,
  type NativeExceptionArena,
}