刨程 (bào chéng) – planing length