-- addDependentFile examples/golden/program-analysis/selection_omit_external_root.h
-- addDependentFile examples/golden/program-analysis/selection_omit_external_a.h
{-| __C declaration:__ @struct UnrelatedDeclaration@

    __defined at:__ @program-analysis\/selection_omit_external_a.h 4:8@

    __exported by:__ @program-analysis\/selection_omit_external_a.h@
-}
data UnrelatedDeclaration
    = UnrelatedDeclaration {unrelatedDeclaration_m :: CInt
                            {- ^ __C declaration:__ @m@

                                 __defined at:__ @program-analysis\/selection_omit_external_a.h 5:7@

                                 __exported by:__ @program-analysis\/selection_omit_external_a.h@
                            -}}
      {- ^ __C declaration:__ @struct UnrelatedDeclaration@

           __defined at:__ @program-analysis\/selection_omit_external_a.h 4:8@

           __exported by:__ @program-analysis\/selection_omit_external_a.h@
      -}
    deriving stock (Eq, Show)
instance StaticSize UnrelatedDeclaration
    where staticSizeOf = \_ -> 4 :: Int
          staticAlignment = \_ -> 4 :: Int
instance ReadRaw UnrelatedDeclaration
    where readRaw = \ptr_0 -> pure UnrelatedDeclaration <*> readRaw (Proxy @"unrelatedDeclaration_m") ptr_0
instance WriteRaw UnrelatedDeclaration
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       UnrelatedDeclaration unrelatedDeclaration_m_2 -> writeRaw (Proxy @"unrelatedDeclaration_m") ptr_0 unrelatedDeclaration_m_2
deriving via (EquivStorable UnrelatedDeclaration) instance Storable UnrelatedDeclaration
instance HasCField UnrelatedDeclaration "unrelatedDeclaration_m"
    where type CFieldType UnrelatedDeclaration
                          "unrelatedDeclaration_m" = CInt
          offset# = \_ -> \_ -> 0
instance TyEq ty
              (CFieldType UnrelatedDeclaration "unrelatedDeclaration_m") =>
         HasField "unrelatedDeclaration_m"
                  (Ptr UnrelatedDeclaration)
                  (Ptr ty)
    where getField = fromPtr (Proxy @"unrelatedDeclaration_m")
