@* One line of a worked stack example: the stack on the left, the program left to run on the right. *@