#include <stdio.h>
long tth_getpid(int option)
{
fprintf(stderr, ">>> %s ( %d )\n", __func__, option);
return 42L;
}