modified samples/prog-equiv