void f(bool body)
{
    if (body) {
    }
}