Library for The Adventures of MICOCO