1#include <unistd.h>
2
3pid_t getpid(void) {
4 // Return an arbitrary value, greater than 1 which is special.
5 return 42;
6}