#ifndef STRING_H
#define STRING_H

#include <defs.h>
#include <stddef.h>

size_t strlen(char* s) BLSEC_TEXT;

#endif