> Did you try this?  If not, could you try it?
>
> [Per's revision of CALL_KAFFE_FUNCTION_VARARGS() omitted.]

This works just fine, I tested it with both "-g" and "-g -O2" and
things work and the emitted assembly looks fine.  I mailed a separate
message off to Tim with a patch.  

-Pat