Stack-based virtual machines