let diff_if_one _ = assert false