imprimir pid de un proceso en c

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>

int main()
{
  printf("pid: %d\n", getpid());

  return 0;
}