using PUSH_EMPTY_ARRAY instead of PUSH, '[]'