--
-- This file has been auto-generated by egison-translator.
--

def f (x: Integer) : Integer := if x = 0 then f (x + 1) else f (x - 1)

def g (x: Integer) : Integer := h (x + 1)

def h (x: Integer) : Integer := g (x - 1)

f 0