//
// Created by franchioping on 6/24/24.
//

#ifndef UNTITLED1_UTIL_H
#define UNTITLED1_UTIL_H
#include <stddef.h>

void print_string(char* sting, size_t string_len);


#endif //UNTITLED1_UTIL_H