eqc-1.4.12 (untested)