make_pname
make_pname(pri, 0);
make_pname(pri, (Stk != NULL)? Stk->tid : 0);
make_pname(pri, Stk->tid);
make_pname(pri, 0);
make_pname(pri, 0);
make_pname(pri, 0);
make_pname(pri, 0);
make_pname(pri, 0);
extern void make_pname(private_t *, id_t);