+ apply_mask addr mask bit
+ | mask == ThirtyTwo = addr
+ | mask == ThirtyOne = addr { octet4 = (apply_mask oct4 Seven bit) }
+ | mask == Thirty = addr { octet4 = (apply_mask oct4 Six bit) }
+ | mask == TwentyNine = addr { octet4 = (apply_mask oct4 Five bit) }
+ | mask == TwentyEight = addr { octet4 = (apply_mask oct4 Four bit) }
+ | mask == TwentySeven = addr { octet4 = (apply_mask oct4 Three bit) }
+ | mask == TwentySix = addr { octet4 = (apply_mask oct4 Two bit) }
+ | mask == TwentyFive = addr { octet4 = (apply_mask oct4 One bit) }
+ | mask == TwentyFour = addr { octet4 = (apply_mask oct4 Zero bit) }
+ | mask == TwentyThree = addr { octet3 = (apply_mask oct3 Seven bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == TwentyTwo = addr { octet3 = (apply_mask oct3 Six bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == TwentyOne = addr { octet3 = (apply_mask oct3 Five bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == Twenty = addr { octet3 = (apply_mask oct3 Four bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == Nineteen = addr { octet3 = (apply_mask oct3 Three bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == Eighteen = addr { octet3 = (apply_mask oct3 Two bit),
+ octet4 = (apply_mask oct4 Zero bit) }
+ | mask == Seventeen = addr { octet3 = (apply_mask oct3 One bit),
+ 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)}
+ where
+ oct1 = (octet1 addr)
+ oct2 = (octet2 addr)
+ oct3 = (octet3 addr)
+ oct4 = (octet4 addr)