sil見たら型推論が変わってる 4.2は () throws -> Int を使ってる