value Pvm_pstat(value tid) { int err = pvm_pstat(Int_val(tid)); if (err < 0) TreatError(err); return; }
int pstat(int tid) { return(pvm_pstat(tid)); }