Re[3]: unboxed arrays for nhc/jhc