Что сделала я, чтобы у меня запустилось:
1) поменяла тип переменной l на integer (вы же ей присваиваете s, который может быть большим)
2) поменяла цикл в функции на repeat-until (оно запустится и так, но len(0), на мой взгляд, должно равняться 1, а не 0 :) )