splitAt and testing