dune exec ./src/main.exe -- /mnt/c/NUS/RA/acsl_sl_bridge/test/test.c

./sl_to_acsl.sh --gui /mnt/c/NUS/RA/acsl_sl_bridge/test/system_test/search_and_replace/search_and_replace_prime.c

./sl_to_acsl.sh /mnt/c/NUS/RA/acsl_sl_bridge/test/system_test/search_and_replace/search_and_replace_prime.c