#include  <stdio.h>


long tth_getpid(int option)
{

fprintf(stderr, ">>> %s ( %d )\n", __func__, option);

return 42L;
}