#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int main(int argc, char *argv[]) 
{
    int n = (int)strtol(argv[1], NULL,0);
    int pid = getpid();
    printf("%d: debut\n", pid);

    for (int i = n; i > 0; i--) {
        printf("%d: %d\n", pid, i);
        sleep(1);
    }
    
    printf("%d: fin\n", pid);

    return 0;
}