if (strlen(lname) < PRG_SOCKET_PFX2l+1) *inode_p = -1; else if (memcmp(lname, PRG_SOCKET_PFX2, PRG_SOCKET_PFX2l)) *inode_p = -1; else {
if (strlen(lname) < PRG_SOCKET_PFX2l+1) return(-1); if (memcmp(lname, PRG_SOCKET_PFX2, PRG_SOCKET_PFX2l)) return(-1);  {
static void extract_type_2_socket_inode(const char lname[], long * inode_p) {    /* If lname is of the form "[0000]:12345", extract the "12345"       as *inode_p.  Otherwise, return -1 as *inode_p.       */    if (strlen(lname) < PRG_SOCKET_PFX2l+1) *inode_p = -1;    else if (memcmp(lname, PRG_SOCKET_PFX2, PRG_SOCKET_PFX2l)) *inode_p = -1;    else {        char *serr;        *inode_p=strtol(lname + PRG_SOCKET_PFX2l,&serr,0);        if (!serr || *serr || *inode_p < 0 || *inode_p >= INT_MAX)             *inode_p = -1;    }}