src/share/doc/smm/12.timed
