Students in the old Pasadena City College library