I don't think that it is actually *used* anywhere though, other than being `push`/`pop`'d.