anchor.diff:    {match, Bindings1}.
   
   -spec match_binary_segment(value(), cerl:cerl(), bindings()) ->
  -  {match, bindings()} | nomatch.
  +  {bindings(), value()}.
   match_binary_segment( Value
                       , #c_bitstr{ val   = ValExpr
                                  , size  = SizeExpr
  
positive.code: raise(Error, Expr) ->
    raise(error, Error, Expr).
  
  -spec raise(atom(), cerl:cerl(), term()) -> no_return().
  raise(Type, Error, Expr) ->
    Ann = cerl:get_ann(Expr),
    Stacktrace = add_location(location(Ann), ?STACKTRACE),
    erlang:raise(Type, Error, Stacktrace).
  
  -spec location(list()) ->
    ?NIL | {location, integer()} | {location, integer(), string()}.
  location(Ann) ->
    Line = line(Ann),
    File = file(Ann),
  
negative.code:             end
          end,
    maps:map(Fun, MapPattern),
    {match, Bindings}.
  
  -spec match(value(), cerl:cerl(), bindings()) -> {match, bindings()} | nomatch.
  match(Value, Pattern, Bindings) ->
  