Make it work in alethzero and mocketh