!7

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

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