* int_encoding.cc (read_unsigned_LEB_128): Replaced with inline