anchor.diff:              {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};
  
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: -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(),
  