anchor.diff:      {Cb,St1} = comp_body(Body, Env, L, St0),
       {c_atom(true),Cb,St1}.
   
  -%% comp_try(Body, Env, Line, State) -> {#c_try{},State}.
  +%% comp_try(Body, Env, Line, State) -> {c_try(),State}.
   %% Compile a try. We know that case is optional but must have at least
   %% one of catch or after. Complicated by the behaviour of the after
   %% which means we split try with all parts into two try's.
  
positive.code: %%          True = c_atom(true),
  %%          False = c_atom(false),
  %%          Omega = c_var(omega),
  %%          Ctrue = c_clause([L], [True], Ctr),
  %%          Cfalse = c_clause([L], [False], Cfa),
  %%          Cfail = c_clause([L,compiler_generated], [Omega], Omega),
  %%          {c_case([L], Ctest, [Ctrue,Cfalse,Cfail]),St}
  %%      end,
  %%     simple_seq([Cte], If, Env, L, St3).
  
  
negative.code:     True = c_atom(true),
      False = c_atom(false),
      Omega = c_var(omega),
      Ctrue = ann_c_clause([L], [True], Ctr),
      Cfalse = ann_c_clause([L], [False], Cfa),
      Cfail = ann_c_clause([L,compiler_generated], [Omega], Omega),
      {ann_c_case([L], Cte, [Ctrue,Cfalse,Cfail]),St3}.
  
  %% This produces code which is harder to optimise, strangely enough.
  %% comp_gif(Te, Tr, Fa, Env, L, St0) ->
  