[ 程序 ] 编号.

☞ x ≔ 程序 编号.
✎ 写: x, 句末.