The return type of `ios_flush` should be `Cint`.