anchor.diff:  -define(SIZE_UPPER_LIMIT, ((1 bsl 58) - 1)).
   
   %%
  +%% The document maximum size of a tuple.
  +%%
  +-define(MAX_TUPLE_SIZE, (1 bsl 24) - 1).
  +
  +%%
   %% Returns the inferred return and argument types for known functions, and
   %% whether it's safe to subtract argument types on failure.
   %%
  
positive.code:                       any
                end,
  
      sub_unsafe(RetType, [#t_integer{}, #t_tuple{size=Index}]);
  types(erlang, setelement, [PosType, TupleType, ArgType]) ->
      RetType = case {PosType,TupleType} of
                    {#t_integer{elements={Index,Index}},
  
negative.code:               #t_tuple{size=Sz} -> Sz;
                _ -> 0
            end,
      Max = ?MAX_TUPLE_SIZE,
      sub_safe(#t_integer{elements={Min,Max}}, [#t_tuple{}]);
  types(erlang, 'bit_size', [_]) ->
      sub_safe(#t_integer{elements={0,?SIZE_UPPER_LIMIT}}, [#t_bitstring{}]);
  