#123: More appropriate header for stack.ll.