definition module cleanc

:: State :== Int

puti :: !Int !*State -> *State

call :: !String !*State -> *State

geti :: !*State -> (!Int, !*State)