[platform/upstream/bash.git] / CWRU / misc / pid.c

#include <stdio.h>

main()
{
        fprintf(stderr, "%d\n", getpid());
        exit(0);
}