## 12.4. 示例: 編碼S表達式 TODO