fun SDL_PollEvent ( event: &SDL_Event? >> opt (SDL_Event, i > 0) ) : #[i:nat] int(i) = "mac#%" // end-of-fun