Section on Platform.flush()