extern void spec_Init(void);
extern void spec_Step(void);
extern void spec_Start(char * filename);