anchor.diff:  	Prefix ++ enc_open_type(Imm1, Aligned)
       catch
   	throw:impossible ->
  -	    {Dst,Imm} = per_enc_open_type_output(Imm0, []),
  +	    {Dst,Imm} = per_enc_open_type_output(Imm0),
   	    ToBin = {enc_mod(Aligned),complete},
   	    Imm ++ per_enc_open_type(Dst, ToBin, Aligned)
       end.
  
positive.code:     %% We KNOW that encode_unconstrained_number/1 will return an IO list;
      %% therefore the call to complete/1 can be replaced with a cheaper
      %% call to iolist_to_binary/1.
      {Dst,Imm} = per_enc_open_type_output([Call], []),
      ToBin = {erlang,iolist_to_binary},
      Imm ++ per_enc_open_type(Dst, ToBin, Aligned);
  per_enc_open_type([{call,erlang,iolist_to_binary,Args}], Aligned) ->
  
negative.code: enc_make_cons(H, T) ->
      {cons,H,T}.
  
  enc_pre_cg_nonbuilding({lc,B0,Var,List,Dst}, StL) ->
      B = enc_pre_cg_1(B0, StL, outside_seq),
      {lc,B,Var,List,Dst};
  enc_pre_cg_nonbuilding({list,List0,Dst}, _StL) ->
      List = enc_pre_cg_1(List0, outside_list, outside_seq),
      {list,List,Dst};
  enc_pre_cg_nonbuilding({'try',Try0,{P,Succ0},Else0,Dst}, StL) ->
      Try = enc_pre_cg_1(Try0, StL, outside_seq),
      Succ = enc_pre_cg_1(Succ0, StL, outside_seq),
  