pub fn minimize_integer<F, T>(start: u64, criterion: F) -> Result<u64, T>where
    F: FnMut(u64) -> Result<bool, T>,