int f(int n) { int $sef$0 = f(n - 3); int $sef$1 = f($sef$0); int $sef$2 = f($sef$1); return $sef$2; } int main() { int $sef$3 = f(10); return $sef$3; }