A simple RPython VM for a simple register machine language