ffi-name-conflict

Build Idris as normal

idris2 --build conflit.ipkg

Then in directory cpp, install Bazelisk and run

cd cpp
./<path to bazelisk executable> build //:conflict
cd -
mv cpp/bazel-bin/libconflict.so .

and confirm the mv. Then

./build/exec/conflict