let stopcases = toList "().\n\t " ;;