///|
pub using @execution {type NativeExecutionState}