{
char*fullfilename = enter_file(filename, 0);
FILE*fi = fopen(fullfilename, "rb");
{
char*fullfilename = enter_file(filename, 0);
FILE*fi = fopen(fullfilename, "rb");
as3_add_include_dir(getcwd(buf, 512));
as3_parse_file(filename);
as3_add_include_dir(getcwd(buf, 512));
as3_parse_file(filename);