sys_socket: better 'inline'