anchor.diff:              fwrite_severity(benign, <<"~w: Invalid tokens.">>, 
                               [N]),
   	    server_loop(N0, Eval0, Bs0, RT, Ds0, History0, Results0);
  -	{eof,_EndLine} ->
  -            fwrite_severity(fatal, <<"Terminating erlang (~w)">>, [node()]),
  -	    halt();
   	eof ->
               fwrite_severity(fatal, <<"Terminating erlang (~w)">>, [node()]),
   	    halt()
  
positive.code:                     fwrite_severity(benign, <<"~ts">>, [E]),
                      server_loop(N0, Eval0, Bs0, RT, Ds0, History0, Results0)
              end;
  	{error,{Line,Mod,What},_EndLine} ->
              fwrite_severity(benign, <<"~w: ~ts">>,
                              [Line, Mod:format_error(What)]),
  	    server_loop(N0, Eval0, Bs0, RT, Ds0, History0, Results0);
  
negative.code: get_command(Prompt, Eval, Bs, RT, Ds) ->
      Parse =
          fun() ->
                  exit(
                    case
                        io:scan_erl_exprs(group_leader(), Prompt, 1, [unicode])
                    of
                        {ok,Toks,_EndPos} ->
                            erl_parse:parse_exprs(Toks);
                        {eof,_EndPos} ->
                            eof;
                        {error,ErrorInfo,_EndPos} ->
                            %% Skip the rest of the line:
                            _ = io:get_line(''),
                            {error,ErrorInfo};
                        Else ->
                            Else
                    end
                  )
          end,
      Pid = spawn_link(Parse),
      get_command1(Pid, Eval, Bs, RT, Ds).
  