Constant ASN1_OP_DETACHED_POST 

pub const ASN1_OP_DETACHED_POST: i32 = 13;