prettyInstruction _ _ (ArrayLength dst ref) =
  mkInsn'8 "array-length" [ dst, ref ]
prettyInstruction _ _ (ArrayLength dst ref) =
  mkInsn'8 "array-length" [ dst, ref ]
prettyInstruction _ _ (ArrayLength dst ref) =
  mkInsn'8 "array-length" [ dst, ref ]