type checker 上ではリターンタイプは Void として扱われていますね。