anchor.diff:    D = [],
     T = 0,
     tcache:start_link(100),
  -%%  SrcT = ttrans:transform([0], Src, []),
     tcore:eval(Src, I, E, K, D, self(), T).
   
   run_test(Src, I, E, K, D, T) ->
     tcache:start_link(100),
  -%%  SrcT = ttrans:transform([0], Src, []),
     tcore:eval(Src, I, E, K, D, [0], T).
   
   run_tests() ->
  
positive.code: 		       lte({'#', SpaceD}, 1024)),
  	    {'#', SpaceD},
  	    1}}]},
    	[{TimeD, 2},
    	 {SpaceD, 0}]},
  
    ?assertMatch({0,_}, run_test(E1, [], [], [], [TimeD], 0)),
    ?assertMatch({[{[0], time}, {[1], space}],_}, run_test(E2, [], [], [], [], 0)),
    ?assertMatch({[{[0], time}, {[1], space}],_}, run_test(E3, [], [], [], [], 0)),
    ?assertMatch({5,_}, run_test(E4, [], [], [], [TimeD,SpaceD], 0)),
    run_test(E6).
  
  run_test(Src) ->
    I = fun (X) -> X end,
  
negative.code:   {primop, fun erlang:'>='/2, [A, B]}.
  plus(A, B) ->
    {primop, fun (X, Y) -> 
  	       X + Y end, [A,B]}.
  times(A, B) ->
    {primop, fun (X, Y) -> 
  	       X * Y end, [A, B]}.
  minus(A, B) ->
    {primop, fun erlang:'-'/2, [A, B]}.
  