#ifndef STRFNS_H
#define STRFNS_H
#include <stdint.h>

uint32_t stringlength(const char* s);
char*    stringcopy(const char* s);

#endif