Pupil librarians help out at lunchtimes, tidying the library, re-shelving books, and generally making the library a pleasant place to be.