A few old DOS batch utilities intended for interactive use