@partial
service PartialService@0x1234567890abcdef {
  functions {
    @entry_id: 5
    First() -> bool;
    @entry_id: 0
    Second() -> u32;
  }
}

program PartialProgram {
  services {
    PartialService
  }
}
