…
..
Makefile	…
arraymap.c	…
core.c	…
hashtab.c	…
helpers.c	…
syscall.c	…
test_stub.c	…
verifier.c	…