prog: pth_empty