pub fn field_into_allocated_bits_le<E: Engine, CS: ConstraintSystem<E>, F: PrimeField>(
    cs: &mut CS,
    value: Option<F>,
) -> Result<Vec<AllocatedBit>, SynthesisError>