add debugging point to Proc()