CORE
NondetGenericArray.class
--function NondetGenericArray.main
^VERIFICATION SUCCESSFUL$
^EXIT=0$
^SIGNAL=0$
--
--
Disabled pending fixing warnings for array-of with zero length:
^warning: ignoring
