Charon: support 1d and 2d C++ arrays