So does `quit` stand for something here or does it mean 'exit'?