class C
{
    int foo() const
    out (bar)
    {
    }
    body
    {
    }
}