anchor.diff:      {ok,buf,<<>>} = get_data({o,false,0}, 0, buf),
       error = get_data({o,false,0}, 42, buf),
   
  -    ok.
  -    
  +    relief = misc_2(0),
  +    error = misc_2(1),
  +    error = misc_2(true),
  +
  +    if
  +	is_integer(Config) =/= true ->
  +	    ok
  +    end,
  +
  +    true = misc_3(1, 0),
  +    true = misc_3(0, 0),
  +    false = misc_3(0, 2),
  +
  +    %% Abuse of boolean values.
  +
  +    Zero = id(0),
  +    One = id(1),
  +    ok = if (Zero == 0) > false -> ok end,
  +    ok = if (Zero == 0) =:= (One == 1) -> ok end,
  +    ok = if (Zero == 0) =:= (One == 1) -> ok end,
  +    ok = if is_atom(Zero > One) -> ok end,
  +    error = if abs(Zero > One) -> ok; true -> error end,
  +    ok = if is_integer(Zero) >= is_integer(One) -> ok end,
  +
  +    ok.
   
   misc_1([{W},{X},{Y},{Z}]) ->
   	      if
  
positive.code: 
  tricky_2(X) when float(X) or float(X) -> ok;
  tricky_2(_) -> error.
  
  %% From dets_v9:read_buckets/11, simplified.
  
  
negative.code: 	    id(W);
  	true ->
  	    none
      end.
  
  misc_2(0) -> relief;
  misc_2(Adapter = 1) when Adapter -> franklin;
  misc_2(_) -> error.
  
  misc_3(LenUp, LenDw) ->
      if
  	%% Cover handling of #k_alt{}.
  	LenUp >= 1 orelse ((LenDw >= 2) xor true) -> true;
  	true -> false
      end.
  
  get_data({o,Active,Raw}, BytesToRead, Buffer) 
  