Artifacts of codegen-lib #7884