Main.mainの名前はなんでもいいんですよね？