verify with test program