anchor.diff:  -type fname_tab()  :: #{Name :: term() => index()}.
   -type line_tab()   :: #{{Fname :: index(), Line :: term()} => index()}.
   -type literal_tab() :: dict:dict(Literal :: term(), index()).
  +
  +-type lambda_info() :: {label(),{index(),label(),non_neg_integer()}}.
  +-type lambda_tab() :: {non_neg_integer(),[lambda_info()]}.
   
   -record(asm,
   	{atoms = #{}                :: atom_tab(),
  
positive.code: 	 string_table/1,lambda_table/1,literal_table/1,
  	 line_table/1]).
  
  -type label() :: non_neg_integer().
  
  -type index() :: non_neg_integer().
  
  
negative.code:             {Index, Dict1#asm{lines=Lines#{Key=>Index},num_lines=N+1}}
      end.
  
  -spec fname(nonempty_string(), bdict()) ->
                     {non_neg_integer(), bdict()}.
  
  fname(Name, #asm{fnames=Fnames}=Dict) ->
      case Fnames of
          #{Name := Index} -> {Index,Dict};
  