__fd_set_256
__fd_set_256 svc_fdset;
svc_fdset = *(__fd_set_256 *)(void *)__svc_fdset.fdset;
extern __fd_set_256 svc_fdset;