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