int get_integer_from_string(char *);
boolean get_boolean_from_string(char *);
-int get_switch3_from_string(char *);
+int get_switch_3_state_from_string(char *);
int get_player_nr_from_string(char *);
ListNode *newListNode(void);
ListNode *getNodeFromKey(ListNode *, char *);
int getNumNodes(ListNode *);
-File *openFile(char *, char *);
+File *openFile(const char *, const char *);
int closeFile(File *);
int checkEndOfFile(File *);
size_t readFile(File *, void *, size_t, size_t);
int seekFile(File *, long, int);
int getByteFromFile(File *);
char *getStringFromFile(File *, char *, int);
-int copyFile(char *, char *);
-boolean touchFile(char *);
+int copyFile(const char *, const char *);
+boolean touchFile(const char *);
Directory *openDirectory(char *);
int closeDirectory(Directory *);