+extern void setProgArgv ( int argc, char *argv[] );
+
+
+/* ----------------------------------------------------------------------------
+ Locking.
+
+ In a multithreaded environments, you have to surround all access to the
+ RtsAPI with these calls.
+ ------------------------------------------------------------------------- */
+
+void
+rts_lock ( void );
+
+void
+rts_unlock ( void );