25.3.2 派生过程宏