This was many years ago (when my now-white beard was still merely grey).  Not worth going back to reconstruct the arguments, but I'll send Giacomo and Nemo a copy of my proc.c to examine for themselves.