Build steps:

git submodule update --init --recursive

stack build

Execution:

stack exec atva-demo elf.exe