higher bound on the
stack in action code a ___