let array_drop n arr = if Array.length arr < n then [||] else Array.sub arr n (max (Array.length arr - n) 0)