{ dg-options "-O0" }

module Foo = def pub int foo = 10; { dg-final { scan-assembler "FOO_foo" } }
                 int bar = 20;     { dg-final { scan-assembler "FOO_bar" } }
                 skip
             fed,
       Bar = def pub int foo = 30; { dg-final { scan-assembler "BAR_foo" } }
                 int bar = 40;     { dg-final { scan-assembler "BAR_bar" } }
                 skip
             fed

{ dg-final { scan-assembler "FOO__prelude" } }
{ dg-final { scan-assembler "FOO__postlude" } }
{ dg-final { scan-assembler "BAR__prelude" } }
{ dg-final { scan-assembler "BAR__postlude" } }