lua backend: for loop over string