+/** @brief returns the number on which this process is listening for incoming messages */
+int gras_os_myport(void);
+
+/** @brief get process identification
+ *
+ * Returns the process ID of the current process. (This is often used
+ by routines that generate unique temporary file names.)
+ */
+long int gras_os_getpid(void);
+