Seems to me this multicore journey was quite a barn burner; might as well have gone all the way to linear types as your GC.