#ifndef _LL_INCLUDE
#define _LL_INCLUDE
#include <stdbool.h>

typedef struct llnode {
    char* str;
    struct llnode* next;
} llnode;

llnode* appendll(llnode* tail, /*@notnull@*/char* str);

#endif