pub const WasmEdge_ErrCode_Terminated: WasmEdge_ErrCode = 1;