error: miri can only run programs that have a main function