Added *print-pretty* to encode functions.