Credit default swap pricing by PROC FCMP