I'd like to transpile ASL into emulators and symbolic execution engines for operating system security research. Are there any ASL parsers which can be used in mainstream programming languages?

I'm trying to build this repo on Ubuntu and receive this error:

`cd@cd-Virtual-Machine:~/source/asl-interpreter$ make testlexer.native asli pdf doc

Adding Z3 to the dynamic library path would not be necessary if we made

use of the Z3 package conditional on what target we were building

echo Execute the following: export DYLD_LIBRARY_PATH=opam config var z3:lib
Execute the following: export DYLD_LIBRARY_PATH=/home/cd/.opam/default/lib/z3
ocamlbuild -use-ocamlfind -tag thread -tag debug -cflags -safe-string -menhir "menhir --infer --explain" testlexer.native

• ocamlfind ocamlc -c -safe-string -g -thread -package linenoise -package zarith -package z3 -package pprint -o asl_utils.cmo asl_utils.ml
  File "asl_utils.ml", line 46, characters 4-19:
  Error: Unbound value Bindings.update
  Command exited with code 2.
  Compilation unsuccessful after building 22 targets (21 cached) in 00:00:00.
  Makefile:65: recipe for target 'testlexer.native' failed
  `

any help here would be appreciated.