use syscall_arg_t and __scc macro for arguments to __alt_socketcall