#include <inttypes.h>
void sal_memcpy(void *dest, const void *src, uint32_t n);
void sal_strcpy(char *dest, const char *src);
const char *sal_uinttos(int value);
void sal_strcat(char *dest, const char *src);