module Foo.Foo (foo) where #include foo :: Int foo = {# sizeof gz_header_s #}