*/
void surf_config_models_setup(void);
-
-
+/* RngStream management functions */
+typedef struct RngStream_InfoState *RngStream; //Not to have to include RngStream.h
+void sg_platf_rng_stream_init(unsigned long seed[6]);
+RngStream sg_platf_rng_stream_get(const char* id);
#endif /* SG_PLATF_INTERFACE_H */