$ taskset -c 0-3 <pack>/install/released/node_modules/.bin/nightshade <pack>/findings/re-initialization/corrected.compact --config <pack>/findings/re-initialization/config.json --compiler <compact-toolchains>/0.34.0/compactc

Semantic profile: compact-0.34.0-zkir2.
Baseline analysis: complete; selected rules: complete.
Rule coverage: 1 selected rule(s); 0 with incomplete entries.
0 finding(s), 0 suppressed, 0 baseline; 1/1 entrypoint(s) completed; analysis complete. Compiler validation passed.
