fn a() { x(); z(); }
fn b() { y(); }