static Class arrayClass(Class elementClass) {
  ret elementClass.arrayType();
}