//@error-in-other-file: Miri can only run programs that have a main function.
#![no_main]