pub type ExecutionMode = c_uint;