Consider the following program: int x = 10, c = true; co (await x == 0); c = false; // while (c) (x = x 1); - a.) Will the program terminate if the schedule is weakly fair? Explain b.) Will the program terminate if the schedule is strongly fair? Explain c.) Add the following as a third arm of the co statement. while (c) (if (x < 0) (x = 10);} Repeat parts (a) and (b) for this three-process program.