1#ifndef UTIL_H
 2#define UTIL_H
 3
 4/* duplicate a string. returns pointer to address of
 5   newly allocated string buffer. if NULL, allocation
 6   failed or src is NULL
 7   note: you must free this newly allocated string */
 8char* maus_strdup(const char* src);
 9
10#endif /* UTIL_H */
11