void mortal();
/**
- * hurt Tux (kill when Small Tux, otherwise lose powerup or shrink)
- */
-void shrink();
-
-/**
- * kill Tux
- */
-void kill();
-
-/**
* reinitialise and respawn Tux at the beginning of the current level
*/
void restart();
* exit the game
*/
void quit();
+
+/**
+ * Returns a random integer
+ */
+int rand();
+
}
#endif