typedef int StackElementType;

/* i.e. Specify a Stack of Int */