+ switch (layer.type) {
+ case LAYER_RECT:
+ return rect_layer_dump_stream(layer.ptr, stream);
+
+ case LAYER_POINT:
+ return point_layer_dump_stream(layer.ptr, stream);
+
+ case LAYER_PLAYER:
+ return player_layer_dump_stream(layer.ptr, stream);
+
+ case LAYER_BACKGROUND: {
+ return background_layer_dump_stream(layer.ptr, stream);
+ }
+
+ case LAYER_LABEL:
+ return label_layer_dump_stream(layer.ptr, stream);
+ }