Core small changes #72

Job	Run time
build-emscripten (emscripten)	3m 20s
build-linux64-platforms (linux64, 64gcc6)	10m 59s
build-macos (osx, xcode)	5m 17s
build-vs2022 (x64)	8m 32s
build-macos (osx, makefiles)	8m 13s
build-msys2 (mingw64)	14m 54s
build-ios-tvos (ios, ios)	5m 21s
build-vs2022 (ARM64)	8m 58s
build-vs2022 (ARM64EC)	9m 25s
rpi-build (armv6l, armhf, arm-linux-gnueabihf, 1)	6m 17s
rpi-build (aarch64, arm64, aarch64-linux-gnu, 1)	6m 17s
	1h 27m 33s

Provide feedback