/* 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;