sys → __esbmc Relation

File in src/c2goto/headers/sys	Includes file in src/c2goto/headers/__esbmc
socket.h	stddefs.h