use the typechecked version of the arrays, dummy