siegel/development/symbolic-execution-spin/jacobi
