Testing programs that use lists