#include <string.h>
#include <dlfcn.h>
#include <stdio.h>

int main(int argc, char **argv) {
    char buffer[9] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
    strncpy(buffer, "abcdefghijkl", sizeof(buffer));
    for (int i = 0; i < sizeof(buffer); ++i) {
        printf("[%d] 0x%hhx\n", i, buffer[i]);
    }
    return 0;
}