Merge branch racket into main #1

Job	Run time
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	39m 23s
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	39m 23s
ci (a6osx, macos-12)	22m 5s
ci (a6osx, macos-12)	17m 5s
ci (ta6osx, macos-12)	23m 14s
ci (ta6osx, macos-12)	23m 14s
ci (i3le, ubuntu-22.04)	15m 52s
ci (i3le, ubuntu-22.04)	15m 52s
ci (ti3le, ubuntu-22.04)	20m 18s
ci (ti3le, ubuntu-22.04)	20m 18s
ci (a6le, ubuntu-22.04)	16m 19s
ci (a6le, ubuntu-22.04)	16m 19s
ci (ta6le, ubuntu-22.04)	21m 42s
ci (ta6le, ubuntu-22.04)	21m 42s
ci (i3nt, windows-2022, vs)	29m 39s
ci (i3nt, windows-2022, vs)	29m 39s
ci (ti3nt, windows-2022, vs)	35m 57s
ci (ti3nt, windows-2022, vs)	35m 57s
ci (a6nt, windows-2022, vs)	30m 52s
ci (a6nt, windows-2022, vs)	30m 52s
ci (ta6nt, windows-2022, vs)	36m 33s
ci (ta6nt, windows-2022, vs)	36m 33s
ci (ta6nt, windows-2022, gcc)	20m 28s
ci (ta6nt, windows-2022, gcc)	20m 28s
	10h 19m 44s

Provide feedback