mainメソッドの戻り値として、codice_86型、codice_87型が認められた。