text: #ifndef BIOS_STRING_H
  #define BIOS_STRING_H
  
  #include <stddef.h>
  
  unsigned long strlen(const char *buf);
  char *strcat(char *dest, const char *src);
  char *strcpy(char *dest, const char *src);
  int strcmp(const char *a, const char *b);
  char *strchr(const char *s, int c);
  char *strstr(const char *s1, const char *s2);
  int memcmp(const void *s1, const void *s2, size_t n);
  void *memmove(void *dest, const void *src, size_t n);
  void *memchr(const void *s, int c, size_t n);
  
  static inline void *memset(void *s, int c, size_t n)
  {
  	return __builtin_memset(s, c, n);
  }
  
  static inline void *memcpy(void *dest, const void *src, size_t n)
  {
  	return __builtin_memcpy(dest, src, n);
  }
  
  void *malloc_align(int n, int align);
  void *malloc_fseg_align(int n, int align);
  
  static inline void *malloc(int n)
  {
  	return malloc_align(n, 16);
  }
  
  static inline void *malloc_fseg(int n)
  {
  	return malloc_fseg_align(n, 16);
  }
  #endif
  