siegel/development/symbolic-execution-spin/symcode
