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

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

fn main() {}