dt_decl_alloc
ddp = dt_decl_push(dt_decl_alloc(CTF_K_UNKNOWN, NULL));
return (dt_decl_push(dt_decl_alloc(kind, name)));
ddp = dt_decl_push(dt_decl_alloc(CTF_K_UNKNOWN, NULL));
dt_decl_t *ddp = dt_decl_push(dt_decl_alloc(CTF_K_ARRAY, NULL));
dt_decl_t *ddp = dt_decl_alloc(CTF_K_FUNCTION, NULL);
return (dt_decl_push(dt_decl_alloc(CTF_K_POINTER, NULL)));
extern dt_decl_t *dt_decl_alloc(ushort_t, char *);