path: root/os/stdlib/sdtlib.h

char* int_to_str(int i);
int strcmp(const char *str1, const char *str2);
void strcpy(const char* src, char* dest);