random-undefined
main
We should be explicit about the fact that we expect the arrays to not be empty.