Readable labels in residual program.