Yes, it is the datastructure behind push and pop. See lines 4148 and 4152 of parser.rs.