1 2 3 4 5 6 7 8 9 10
include protocol PDelete; sync protocol PDeleteSub { manager PDelete; parent: sync __delete__(int x) returns (double d); };