anchor.diff:      {HeadType, _, _} = beam_call_types:types(erlang, hd, [SrcType]),
   
       extract_term(HeadType, get_hd, [Src], Dst, Vst);
  -valfun_1({get_tl,Src,Dst}, Vst) ->
  +vi_safe({get_tl,Src,Dst}, Vst) ->
       assert_not_literal(Src),
       assert_type(#t_cons{}, Src, Vst),
   
  
positive.code:                                          Fun, SuccVst0),
                     validate_body_call('fun', Live+1, SuccVst)
             end);
  valfun_1({call,Live,Func}, Vst) ->
      validate_body_call(Func, Live, Vst);
  valfun_1({call_ext,Live,Func}, Vst) ->
      validate_body_call(Func, Live, Vst);
  valfun_1({call_only,Live,Func}, Vst) ->
      validate_tail_call(none, Func, Live, Vst);
  valfun_1({call_ext_only,Live,Func}, Vst) ->
      validate_tail_call(none, Func, Live, Vst);
  valfun_1({call_last,Live,Func,N}, Vst) ->
      validate_tail_call(N, Func, Live, Vst);
  valfun_1({call_ext_last,Live,Func,N}, Vst) ->
      validate_tail_call(N, Func, Live, Vst);
  valfun_1(_I, #vst{current=#st{ct=undecided}}) ->
      error(unknown_catch_try_state);
  %%
  %% Allocate and deallocate, et.al
  %%
  valfun_1({allocate,Stk,Live}, Vst) ->
      allocate(uninitialized, Stk, 0, Live, Vst);
  valfun_1({allocate_heap,Stk,Heap,Live}, Vst) ->
      allocate(uninitialized, Stk, Heap, Live, Vst);
  valfun_1({allocate_zero,Stk,Live}, Vst) ->
      allocate(initialized, Stk, 0, Live, Vst);
  valfun_1({allocate_heap_zero,Stk,Heap,Live}, Vst) ->
      allocate(initialized, Stk, Heap, Live, Vst);
  valfun_1({deallocate,StkSize}, #vst{current=#st{numy=StkSize}}=Vst) ->
      verify_no_ct(Vst),
      deallocate(Vst);
  valfun_1({deallocate,_}, #vst{current=#st{numy=NumY}}) ->
      error({allocated,NumY});
  valfun_1({trim,N,Remaining}, #vst{current=St0}=Vst) ->
      #st{numy=NumY} = St0,
      if
          N =< NumY, N+Remaining =:= NumY ->
  
negative.code: 
  %% Handle the remaining floating point instructions here.
  %% Floating point.
  vi_float({fconv,Src,{fr,_}=Dst}, Vst) ->
      assert_term(Src, Vst),
  
      %% An exception is raised on error, hence branching to 0.
  