// WITH_RUNTIME // PROBLEM: none fun hello() { run { } }