anchor.diff:  	end,
   	maps:fold(F, #eap_aka_synchronization_failure{}, aka_attr(Attributes)).
   
  -%%----------------------------------------------------------------------
  -%%  internal functions
  -%%----------------------------------------------------------------------
  -
   -spec aka_attr(Attributes) -> Attributes
   	when
   		Attributes :: map() | binary().
  
positive.code: aka_attr(<<?AT_CHECKCODE, 6, _:16, CheckCode:20/bytes, Rest/bytes>>, Acc) ->
  	aka_attr(Rest, Acc#{?AT_CHECKCODE => CheckCode});
  aka_attr(<<?AT_RESULT_IND, 1, _:16, Rest/bytes>>, Acc) ->
  	aka_attr(Rest, Acc#{?AT_CHECKCODE => true});
  aka_attr(<<Type, 1, _:16, Rest/bytes>>, Acc) when Type > 127 ->
  	aka_attr(Rest, Acc);
  aka_attr(<<>>, Acc) ->
  	Acc.
  
  
negative.code: %% @hidden
  aka_attr(Attributes) when is_binary(Attributes)->
  	aka_attr(Attributes, #{});
  aka_attr(Attributes) when is_map(Attributes)->
  	list_to_binary(maps:fold(fun aka_attr/3, <<>>, Attributes)).
  %% @hidden
  aka_attr(<<?AT_RAND, 5, _:16, Rand:16/bytes, Rest/bytes>>, Acc) ->
  	aka_attr(Rest, Acc#{?AT_RAND => Rand});
  