Fix test failure spotted by the ever vigilant Jan Moringen.
Resolve a FIXME. There is no COLD-INIT-INTEGER-READER

Also make it known that {READER-EOF,SIMPLE-READER}-ERROR don't return.