siegel/development/symbolic-execution-spin/matmat
