Old, retired fork of DCEVM. Latest code is at https://github.com/dcevm/dcevm