[(S (S (S (S (S Z)))))]
0.05user 0.00system 0:00.05elapsed 98%CPU (0avgtext+0avgdata 31164maxresident)k
0inputs+0outputs (0major+3671minor)pagefaults 0swaps