@namespace("keybase.1")
protocol debugging {

  // Result from calling firstStep(..).
  record FirstStepResult {
    int valPlusTwo;
  }

  // First step in multi step
  // increments val and sends to multi step
  FirstStepResult firstStep(int sessionID, int val);

  // increments val
  int secondStep(int sessionID, int val);

  // Increment val
  int increment(int sessionID, int val);

  string script(string script, array<string> args);
}