Constant WasmEdge_ErrCode_Terminated 

pub const WasmEdge_ErrCode_Terminated: WasmEdge_ErrCode = 1;