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