static void start_recording() {}

static void trigger_breakpoint() {}

static void stop_recording() {}

int main() {
  start_recording();
  trigger_breakpoint();
  stop_recording();
  return 0;
}