should go in arraytypes.h