Credit default swap pricing by Proc FCMP