modified: adding integration with echidna api