Symbol generation with lazily generated names that behave like standard symbols #425

Job	Run time
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	31m 34s
ci (a6osx, macos-13)	16m 16s
ci (ta6osx, macos-13)	21m 9s
ci (arm64osx, macos-14)	11m 5s
ci (tarm64osx, macos-14)	12m 1s
ci (i3le, ubuntu-22.04)	12m 55s
ci (ti3le, ubuntu-22.04)	15m 53s
ci (a6le, ubuntu-22.04)	10m 2s
ci (ta6le, ubuntu-22.04, CFLAGS+=-std=gnu89)	12m 11s
ci (ta6le, ubuntu-22.04, reboot, -m=ta6le --force, re.boot SCHEME="chezscheme", test-some-fast)	8m 39s
ci (i3nt, windows-2022, vs)	12m 25s
ci (ti3nt, windows-2022, vs)	15m 18s
ci (a6nt, windows-2022, vs)	12m 11s
ci (ta6nt, windows-2022, vs)	15m 13s
ci (ta6nt, windows-2022, gcc, CFLAGS+=-std=gnu89)	12m 58s
ci (ta6le, ubuntu-22.04, test-more, more)	58m 17s
	4h 38m 7s

Provide feedback