siegel/development/symbolic-execution-spin/gausselim
