90bfa60354006470d1842ac90df3df02e2482cf2  lispref.info-17.gz