Title: Library manual for the Ninth service command