Use vector header defined in ATS