int nsa_socket(int domain, int type, int protocol,
               const char* properties)