Evaluated proc random_songs {who {n 10}} {join [lrange [ltrim [shuffle [n [%% $who]]]] 1 $n] \n}