https://github.com/w3c/echidna/pull/39#issuecomment-71855010
https://github.com/w3c/echidna/pull/39#issuecomment-71855010

dontcallmedom/specberus,w3c/specberus,w3c/specberus,dontcallmedom/specberus,w3c/specberus