Artifacts of codegen-lib #7893