adaptation of the c prety printer for the new signature of known set functions wit patrick