anchor.diff:      pattern_list([H,T], Def, Ps, St);
   pattern(#c_tuple{es=Es}, Def, Ps, St) ->
       pattern_list(Es, Def, Ps, St);
  -pattern(#c_binary{segments=Ss}, Def, Ps, St) ->
  +pattern(#c_binary{segments=Ss}, Def, Ps, St0) ->
  +    St = pat_bin_tail_check(Ss, St0),
       pat_bin(Ss, Def, Ps, St);
   pattern(#c_alias{var=V,pat=P}, Def, Ps, St0) ->
       {Vvs,St1} = variable(V, Ps, St0),
  
positive.code: pat_segment(_, Def, Ps, St) ->
      {Ps,Def,add_error({not_bs_pattern,St#lint.func}, St)}.
  
  %% pat_bit_expr(SizePat, Type, Defined, State) -> State.
  %%  Check the Size pattern, this is an input!  Because of optimizations,
  %%  we must allow any kind of constant and literal here.
  
negative.code: %%
  %% %CopyrightBegin%
  %% 
  %% Copyright Ericsson AB 1999-2010. All Rights Reserved.
  %% 
  %% The contents of this file are subject to the Erlang Public License,
  %% Version 1.1, (the "License"); you may not use this file except in
  