cderici@snoopy:/home/cderici/pycketland/pycket$ p-regular --load-linklets r.rkt.linklet
---- LOOP BEGINS ----
cpu time: 336 real time: 336 gc time: 283
cpu time: 288 real time: 288 gc time: 266
cpu time: 268 real time: 268 gc time: 264
cpu time: 272 real time: 272 gc time: 266
cpu time: 280 real time: 280 gc time: 275
cpu time: 276 real time: 276 gc time: 271
cpu time: 269 real time: 269 gc time: 264
cpu time: 271 real time: 271 gc time: 267
cpu time: 270 real time: 270 gc time: 265
cpu time: 270 real time: 270 gc time: 265
cpu time: 268 real time: 268 gc time: 263
cpu time: 271 real time: 271 gc time: 266
cpu time: 272 real time: 272 gc time: 267
cpu time: 270 real time: 270 gc time: 265
cpu time: 271 real time: 271 gc time: 266
---- LOOP ENDS ----
cderici@snoopy:/home/cderici/pycketland/pycket$ p-stackful --load-linklets r.rkt.linklet
---- LOOP BEGINS ----
cpu time: 321 real time: 321 gc time: 282
cpu time: 261 real time: 261 gc time: 261
cpu time: 261 real time: 261 gc time: 260
cpu time: 262 real time: 262 gc time: 261
cpu time: 260 real time: 260 gc time: 260
cpu time: 263 real time: 263 gc time: 262
cpu time: 261 real time: 261 gc time: 261
cpu time: 260 real time: 260 gc time: 260
cpu time: 261 real time: 261 gc time: 260
cpu time: 260 real time: 260 gc time: 259
cpu time: 262 real time: 262 gc time: 262
cpu time: 259 real time: 259 gc time: 259
cpu time: 263 real time: 263 gc time: 262
cpu time: 261 real time: 261 gc time: 260
cpu time: 261 real time: 261 gc time: 261
---- LOOP ENDS ----
cderici@snoopy:/home/cderici/pycketland/pycket$ r r.rkt
---- LOOP BEGINS ----
cpu time: 2997 real time: 2987 gc time: 2989
cpu time: 2950 real time: 2940 gc time: 2941
cpu time: 2949 real time: 2937 gc time: 2940
cpu time: 2950 real time: 2939 gc time: 2945
cpu time: 2949 real time: 2939 gc time: 2945
cpu time: 2950 real time: 2939 gc time: 2946
cpu time: 2948 real time: 2937 gc time: 2938
cpu time: 2946 real time: 2935 gc time: 2939
cpu time: 2950 real time: 2945 gc time: 2943
cpu time: 2943 real time: 2932 gc time: 2940
cpu time: 2940 real time: 2929 gc time: 2932
cpu time: 2945 real time: 2935 gc time: 2936
cpu time: 2943 real time: 2933 gc time: 2934
cpu time: 2961 real time: 2952 gc time: 2956
cpu time: 2945 real time: 2935 gc time: 2934
---- LOOP ENDS ----