fill in manually verified expected state for TrapTestCase.case_2_kaivb_test