[(S (S (S (S (S Z)))))]
0.01user 0.00system 0:00.01elapsed 94%CPU (0avgtext+0avgdata 24064maxresident)k
0inputs+0outputs (0major+2765minor)pagefaults 0swaps