Table arraysizes

predicate arraysizes(@derivedtype id, int num_elements, int bytesize, int alignment)