List of (the names of) the ACL2 functions that model the creation of Java primitive arrays from components.
We exclude the functions that model
the construction of
Definition:
(defconst *atj-jprimarr-new-init-fns* '(boolean-array-new-init char-array-new-init byte-array-new-init short-array-new-init int-array-new-init long-array-new-init))