Describe the bug
OS_Open() returns an int32 file descriptor, OS_SocketAccept() takes a uint32 pointer for the file descriptor. They should be the same type. (The socket code should probably use/take int32.)

Reporter Info
[email protected]