A cross-platform virtual machine for Querycasts