9.5.2 定义常数