Constant WasmEdge_ErrCode_UserDefError 

pub const WasmEdge_ErrCode_UserDefError: WasmEdge_ErrCode = 12;