#   This file is read from icmake/special

readlinebuf 
readlinehistory
readlinestream
