pub fn boilerplate(x: u8) {}
//~^ ERROR: `main` function has wrong type [E0580]