pub unsafe extern "C" fn SetDeffunctionPPForm(
    arg1: *mut Environment,
    arg2: *mut Deffunction,
    arg3: *const c_char
)