BUGFIX: nonnnull for default array values