https://github.com/dapphub/dapptools/tree/master/src/seth