dfntype
dfn_stack = (dfntype *) malloc(dfn_sz * sizeof (dfntype));
dfn_stack = (dfntype *) realloc(dfn_stack,
dfn_sz * sizeof (dfntype));
dfntype *dfn_stack = NULL;
dfn_stack = (dfntype *) malloc(dfn_sz * sizeof (dfntype));