%%
%% currently tmp file for Oz abstractions for benchmarking
%%

%%
%% Later likely the top-level file for benchmarks 
%%