Constant PJRT_Error_Code_PJRT_Error_Code_ABORTED 

pub const PJRT_Error_Code_PJRT_Error_Code_ABORTED: PJRT_Error_Code = 10;