Simple benchmarking program, hardcoded for Java.hs atm