pub fn c3_linearization(input: C3) -> Result<C3, C3Error>