Merge pull request #1259 from maspypy/psrc #42

Job	Run time
generate (ubuntu-latest, g++-12) / generate	53s
generate (macos-latest, clang++) / generate	1m 14s
generate (ubuntu-24.04, g++-13) / generate	1m 3s
generate (windows-latest, g++) / generate	2m 28s
	5m 38s

Provide feedback