only pack 1st and assert