[()]
[()]
[()]
[()]
[32]
[(:: 0 (:: 0 (:: 1 nil)))]
0.42user 0.01system 0:00.43elapsed 100%CPU (0avgtext+0avgdata 34588maxresident)k
0inputs+0outputs (0major+3847minor)pagefaults 0swaps