#include <string>

std::string read_terminal_line(const std::string & prompt);