9 lines
120 B
C

#include <stdio.h>
#include <thread.h>
int main(void)
{
int pid = thread_getpid();
printf("PID: %i\n", pid);
}