require "big" lib C fun getchar_unlocked : Int32 end def read_word : String ans = [] of Char f = 1 c = C.getchar_unlocked() while [9, 10, 11, 12, 13, 32].includes?(c) c = C.getchar_unlocked() end while ![-1, 9, 10, 11, 12, 13, 32].includes?(c) ans.push('\0' + c) c = C.getchar_unlocked() end return ans.join("") end puts(read_word.to_big_i * 10.to_big_i)