[(S (S (S (S (S Z)))))]
0.63user 0.00system 0:00.64elapsed 99%CPU (0avgtext+0avgdata 35364maxresident)k
0inputs+0outputs (0major+3976minor)pagefaults 0swaps