Listing 5

while (FOREVER) {
   if (ready.task1) task1();
   else if (ready.task2a) task2a();
   else if (ready.task2b) task2b();
   else if (ready.task4)  task4();
   else if (ready.task3)  task3();
   }