+void as3_import_file(char*filename)
+{
+ FILE*fi = fopen(filename, "rb");
+ if(!fi) return;
+ char head[3];
+ fread(head, 3, 1, fi);
+ fclose(fi);
+ if(!strncmp(head, "FWS", 3) ||
+ !strncmp(head, "CWS", 3)) {
+ as3_import_swf(filename);
+ } else {
+ as3_import_abc(filename);
+ }
+}
+