VirtualMachine: use peek & pop_back instead of pop