//@ error-pattern: `main` function not found #![cfg(FALSE)]