// Copyright 2019 <NAME>.  See LICENSE file for terms.

#include "test.hpp"

int func(int n) {
  return n+1;
}
int main() {
  int n = INT_RAND; // n = 3
  path_start();
  n = func(n); // n = 4
  n = func(n); // n = 5
  if (n == 5) {
    path_goal();
  }
}
