12.6. 示例: 解码S表达式

TODO