1(library 2 (name odoc_model_desc) 3 (public_name odoc.model_desc) 4 (libraries odoc_model) 5 (instrumentation 6 (backend landmarks --auto)) 7)