Listing 6: Server interface for a calculator.

calculator
{
    add < (int a, int b) > (int c).
    subtract < (int a, int b) > (int c).
    multiply < (int a, int b) > (int c).
    divide < (int a, int b) > (int c).
}