12.4. 示例: 编码S表达式

TODO