wc procgen