anchor.diff:  	{ok, Name, Result}.
     
   % Compiled evaluation of a parsed Reia file
  -compile(Filename, Expressions) ->
  -  compile(Filename, Expressions, #compile_options{}).
  +compile(Filename, Exprs) ->
  +  compile(Filename, Exprs, #compile_options{}).
   
  -compile(Filename, Expressions, Options) ->
  -  io:format("Output Code: ~p~n", [Expressions]),
  -  case compile_expressions(Filename, Expressions, Options) of
  +compile(Filename, Exprs, Options) ->
  +  io:format("Output Code: ~p~n", [Exprs]),
  +  case compile_expressions(Filename, Exprs, Options) of
       {ok, _Module, Bin} ->
         Module = #reia_module{filename=Filename, base_module=Bin},
         {ok, term_to_binary(Module)};
  
positive.code:   
    compile:forms(ErlModule, compile_options(Options)).
  
  wrapped_module(_Expressions) ->
    throw({error, "toplevel wrapper not supported yet, sorry!"}).
    
  unwrapped_module(Expressions) ->
    case Expressions of
      [{module, Line, Name, Functions}] -> 
        {Functions2, Submodules} = extract_submodules(Functions),
        io:format("Extracted the following submodules: ~p~n", [Submodules]),
        #module{line=Line, name=Name, functions=Functions2};
      _ ->
        throw({error, "code without a toplevel wrapper should define exactly one module"})
    end.
  
negative.code:   end.
  
  % Output raw Erlang bytecode for inclusion into compiled Reia bytecode
  compile_expressions(Filename, Exprs, Options) ->  
    {Module, _Submodules} = case Options#compile_options.toplevel_wrapper of
      true  -> wrapped_module(Exprs);
      false -> unwrapped_module(Exprs)
    end,
    
    ErlModule = [
  