How can you change the p-value to a one-sided test in proc nlmixed?

[newbieprog]

I'm using SAS 9.4 and running the following code:

proc nlmixed data=newdata;

parms b0=2 b1=-4 b2=-5 b3=4 v=21;

p=b0+b1*bin+b2*time+b3*bin*time;

model y ~ normal(p,v);

estimate "parm eq 0" b3-5 df=1e8;

ods output AdditionalEstimates=Parms;

run;

I have an estimate statement because I'm trying to test b3=5.  I want my p-value for these results to be from a one-sided test and I assume right now the p-value represents a two-sided test.  How can I change this?

[PaigeMiller]

To get the p-value for a one-sided test, you take the p-value for the two-sided test, and you divide it in half.