むしろ素朴にして @main 使わないほうが良いのでは。。。