Added verification of progra output