modified samples/prog-equiv/peq.k