What functions has a Pfaff with IDT system?