src/tools/miri/tests/genmc/pass/std/empty_main.rs

//@compile-flags: -Zmiri-genmc -Zmiri-disable-stacked-borrows

// A lot of code runs before main, which we should be able to handle in GenMC mode.

fn main() {}