#include <stddef.h>
#include <stdlib.h>

#include <l3tde/util/string.h>

char *
copy_string (const char *input, size_t input_len) {
    char *return_value = malloc ((input_len + 1) * sizeof *return_value);

    for (int i = 0; i < input_len; i++) { 
        return_value[i] = input[i];
    }
    return_value[input_len] = '\0';

    return return_value;
}