fn a() { b(); }
fn b() { a(); c(); }
fn c() {}