This crate has soundness troubles; see the documentation & tests.