Constant dv_status_code_DV_FLOW_ABORTED 

pub const dv_status_code_DV_FLOW_ABORTED: dv_status_code = 702;