program RKILL_PRG {
  version RKILL_VERSION_1 {
    int rkill(int pid) = 1;
  } = 1;
} = 0x21000001;