A simple ubiquitous stack data type in C