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: 	 locals = []		    :: [{label(), arity(), label()}],
  	 imports = gb_trees:empty() :: import_tab(),
  	 strings = <<>>		    :: binary(),	%String pool
  	 lambdas = {0,[]},				%[{...}]
  	 literals = dict:new()	    :: literal_tab(),
  	 fnames = #{}               :: fname_tab(),
  	 lines = #{}                :: line_tab(),
  
negative.code: 	 string_table/1,lambda_table/1,literal_table/1,
  	 line_table/1]).
  
  -type label() :: beam_asm:label().
  
  -type index() :: non_neg_integer().
  
  