Can this use `header = EMPTY_ARRAY` ?