/* Types and constants */

typedef int nat;

typedef char * element;

typedef struct {
  element contents[max_height];
  nat height;
} stack_record;

typedef stack_record * stack;