#include "lib.h"


int main() {
    int x = 0;

    while (1) {
        x += 10;
        myprintf("P1: x = %d\n", x);
    }
}