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

error: aborting due to 1 previous error