Unless the "ucb" compatibility compiler is used, the function pickshell
loops forever.  The same happens using gcc.
