Contradicting `SOL_TCP` and `SOL_UDP` definition for p1

[ChihweiLHBird]

They are not defined within the p1 scope in libc-bottom-half/headers/public/__header_sys_socket.h:

wasi-libc/libc-bottom-half/headers/public/__header_sys_socket.h

Lines 27 to 28 in 0d5332a

	#define SOL_TCP 6
	#define SOL_UDP 17

But they are included in expected/wasm32-wasip1/predefined-macros.txt:
https://github.com/WebAssembly/wasi-libc/blob/0d5332aceea8e72698b6abc270550e666ba97aea/expected/wasm32-wasip1/predefined-macros.txt

Which one should be the source of truth?