repairs for pb32 foreign interface #256

Job	Run time
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	28m 50s
ci (a6osx, macos-12)	16m 12s
ci (ta6osx, macos-12)	20m 13s
ci (arm64osx, macos-14)	8m 55s
ci (tarm64osx, macos-14)	10m 6s
ci (i3le, ubuntu-22.04)	11m 34s
ci (ti3le, ubuntu-22.04)	14m 26s
ci (a6le, ubuntu-22.04)	8m 55s
ci (ta6le, ubuntu-22.04, CFLAGS+=-std=gnu89)	11m 51s
ci (ta6le, ubuntu-22.04, reboot, -m=ta6le --force, re.boot SCHEME="chezscheme", test-some-fast)	7m 59s
ci (i3nt, windows-2022, vs)	11m 51s
ci (ti3nt, windows-2022, vs)	14m 52s
ci (a6nt, windows-2022, vs)	12m 9s
ci (ta6nt, windows-2022, vs)	15m 29s
ci (ta6nt, windows-2022, gcc, CFLAGS+=-std=gnu89)	13m 32s
	3h 26m 54s

Provide feedback