code: def get_default(self, node):
          
          if node.inst.properties.get("intr", False):
              # Interrupt is set!
              # Default is implicitly stickybit, unless the mutually-exclusive
              # sticky property was set instead
              return not node.inst.properties.get("sticky", False)
          else:
              return False
docs: Unless specified otherwise, intr fields are implicitly stickybit