verify code after test

push & pop are needed!