#include <stddef.h>
/* A temporary file, to get the system compiling. */
size_t strlen(const char*);