12.4. 示例: 編碼S表達式

TODO