Semantics of Virtual Machine for IELE prototype blockchain - View it on GitHub