Clean(
    :: *State :== Int;
    :: IntPointer :== Int
)

void ginit();
Clean(ginit :: State -> State)

void gopen();
Clean(gopen :: State -> State)