for k = 10:-1:0,
        printf('%d\n',k)
    end;