export IDRIS2_CG=racket

idris2 -o hello Hello.idr

./build/exec/hello