LILO, LILO, COCODRILO