#   This file is read from icmake/special

readlinebuf
readlinehistory
readlinestream
