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