[support] pending array.h