/* gcd.x specification file */ struct param_t { int x; int y; }; program GCD_PROGRAM { version GCD_VERSION { int computeGCD (struct param_t) = 1; } = 1; } = 0x21234567;