- octet4 = min_octet }
- | mask == Sixteen = addr { octet3 = min_octet,
- octet4 = min_octet }
- | mask == Fifteen = min_address { octet1 = oct1,
- octet2 = (apply_mask oct2 Seven bit) }
- | mask == Fourteen = min_address { octet1 = oct1,
- octet2 = (apply_mask oct2 Six bit) }
- | mask == Thirteen = min_address { octet1 = oct1,
- octet2 = (apply_mask oct2 Five bit) }
- | mask == Twelve = min_address { octet1 = oct1,
- octet2 = (apply_mask oct2 Four bit) }
- | mask == Eleven = min_address { octet1 = oct1,
- octet2 = (apply_mask oct2 Three bit) }
- | mask == Ten = min_address { octet1 = oct1,
- octet2 = (apply_mask oct2 Two bit) }
- | mask == Nine = min_address { octet1 = oct1,
- octet2 = (apply_mask oct2 One bit) }
- | mask == Eight = min_address { octet1 = oct1 }
- | mask == Seven = min_address { octet1 = (apply_mask oct1 Seven bit) }
- | mask == Six = min_address { octet1 = (apply_mask oct1 Six bit) }
- | mask == Five = min_address { octet1 = (apply_mask oct1 Five bit) }
- | mask == Four = min_address { octet1 = (apply_mask oct1 Four bit) }
- | mask == Three = min_address { octet1 = (apply_mask oct1 Three bit) }
- | mask == Two = min_address { octet1 = (apply_mask oct1 Two bit) }
- | mask == One = min_address { octet1 = (apply_mask oct1 One bit) }
- | mask == Zero = min_address
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == Sixteen = addr { octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == Fifteen = addr { octet2 = (apply_mask oct2 Seven bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == Fourteen = addr { octet2 = (apply_mask oct2 Six bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Thirteen = addr { octet2 = (apply_mask oct2 Five bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Twelve = addr { octet2 = (apply_mask oct2 Four bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Eleven = addr { octet2 = (apply_mask oct2 Three bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Ten = addr { octet2 = (apply_mask oct2 Two bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Nine = addr { octet2 = (apply_mask oct2 One bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Eight = addr { octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Seven = addr { octet1 = (apply_mask oct1 Seven bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Six = addr { octet1 = (apply_mask oct1 Six bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Five = addr { octet1 = (apply_mask oct1 Five bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Four = addr { octet1 = (apply_mask oct1 Four bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Three = addr { octet1 = (apply_mask oct1 Three bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Two = addr { octet1 = (apply_mask oct1 Two bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == One = addr { octet1 = (apply_mask oct1 One bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}
+ | mask == Zero = addr { octet1 = (apply_mask oct1 Zero bit),
+ octet2 = (apply_mask oct2 Zero bit),
+ octet3 = (apply_mask oct3 Zero bit),
+ octet4 = (apply_mask oct4 Zero bit)}