Карик. К какому полному имени относится сокращенная форма Карик?

Мы все (или почти все) читали в детстве книгу писателя Яна Ларри "Приключения Карика и Вали". Кто не читал, тот, наверняка смотрел одноименный фильм или мультфильм. А какое полное имя носил главный герой Карик?