anchor.diff:  -spec bignum_sizeneed(non_neg_integer()) -> non_neg_integer().
   
   bignum_sizeneed(Size) ->
  -  WordSizeBits = hipe_rtl_arch:word_size() * 8,
     case is_fixnum(1 bsl Size) of
       true ->
         0;
       false ->
  +      WordSizeBits = hipe_rtl_arch:word_size() * 8,
         ((Size + (WordSizeBits-1)) div WordSizeBits) + 1
     end.
   
  
positive.code: -spec is_fixnum(integer()) -> boolean().
  is_fixnum(N) when is_integer(N) ->
    Bits = ?bytes_to_bits(hipe_rtl_arch:word_size()) - ?TAG_IMMED1_SIZE,
    (N =< ((1 bsl (Bits - 1)) - 1)) and (N >= -(1 bsl (Bits - 1))).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  
negative.code:   ?MB_SIZE.
  
  get_field_size(Field) ->
    WordSize = hipe_rtl_arch:word_size(),
    case get_field_size1(Field) of
      WordSize -> word;
      %% 4 -> int32; Seems not needed: covered by the previous case
      %% 2 -> int16; So far there are no 2 byte fields
      1 -> byte
    end.
  
  