これ受け側の引数がinout指定してないんだからinout Intが勝手にIntに変化してくれてもいい気がするけど、そうじゃないんですね