spawn {let def a(x) | b () = a(x) | c() or a(x) | c () = a(x) | d() | e() or a(x) | d() | e() = if x > 0 then { a(x-1) | b()} in a(100000) | b()} ;;