very slightly modified form for wscons support on the TC alpha. XXX This could use some more work, but this code should be sharable among the alpha and pmax systems as-is.
briggs