disgusting implementation of Array.copyTo()
fix the default value for length in Array.copyTo()
for #316