xlispstat/doc
