!7

sS prompt = "stefan@stefan-quadcore ~ $ ";

p {
  while licensed {
    print_noNewLine(prompt);
    S line = readLine();
  }
}