#include <stdio.h>

int main(void) {
    int t;
    const char *jobs[2] = {"ProcA", "ProcB"};
    int cur = 0;
    for (t = 0; t < 8; t++) {
        printf("[%d] executing %s\n", t, jobs[cur]);
        if ((t + 1) % 3 == 0) {
            printf("    * timer fires, context switch from %s\n", jobs[cur]);
            cur = 1 - cur;
            printf("    * resume %s\n", jobs[cur]);
        }
    }
    return 0;
}