#![feature(main)]

#[main]
fn foo() {}

#[main]
fn f() {}
//~^ ERROR E0137