A toy UNIX shell