run-ssa now uses lua