BStack [dev.] - a virtual stack with backtracking capability (extension of VStack)