added swf_DumpShape().