/* pull in the header as determined for this platform at configure time */ #include <dce/@target_cpu@/marshall.h>