1 2 3 4 5 6 7 8
interface Manager { long registerServer(); void startRetry(in long count); long endRetry(); // returns unused attempts };