fn a (callback: fn () -> ()) {
    drop(callback)
}

fn main () {
    a(|| {
        do_whatever();
    })
}

fn do_whatever() {}