On-demand redundancy code generation
Recover slrt.s.