TAILQ_HEAD
TAILQ_HEAD(scb_tailq, scb);
TAILQ_HEAD(, scope) inner_scope;
TAILQ_HEAD(cs_tailq, critical_section);
TAILQ_HEAD(scope_tailq, scope);