Added formula for PCL (portable coroutine library)