working verify (address jumps not tested)