Virtual machine DCPU-16 spec v1.7