typedef opaque file_in<>;
typedef opaque file_out<>;


program JPEGRESIZE {
      version JPEGVER {
            file_out RESIZE(file_in) = 1;
      } = 1;
} = 0x20001337;