> A question on the fine dot Postscript: what is the meaning of the dotted > arrows? I.e., 10 of the arrows have solid lines as shafts and 6 have > dotted lines as shafts. Does this mean any thing? In the control-flow graph, solid edges indicate gotos with arguments, dashed edges indicate handling a raise coming from the callee, and dotted edges indicate a return from the callee.