#include <stdlib.h>
#include <assert.h>
#include "ll.h"

llnode* appendll(llnode* tail, /*@nottemp@*/char* str){
    llnode* new = malloc(sizeof(llnode));
    assert(new != NULL);
    if (tail != NULL) {
        assert(tail->next == NULL);
        tail->next = new;
    }
    new->str = str;
    new->next = NULL;
    return new;
}