Using unboxed arrays in Cpp/Token module