Properly implemented dump for VirtualOpPush