void main( int, char ** );
void interrupt kbint();
void Debug_Mode_6502( void );
void fast6502( void );
void SwitchCrt( int );
void Init_6502( void );
void Modes( int );
void LoadProg( char *, unsigned );
void DebugDisp( void );
int Memory( void );
unsigned FDC( int, int, unsigned );
void HelpMenu( void );
void FileMenu( void );
void OpenFlex( void );
void ReadFile( void );
void ReadFileHex( void );
void WriteFile( void );
int HexRead( char * );
unsigned char ctob( unsigned char *, unsigned );
void ProcessOpcode( void );
int GetFileMenu( char * );
int GetFile( char * );
void GetFilePage( char * );
void DebugMenu( void );

void XXX ( void );
void XIT ( void );
void INT ( int );

void push( unsigned char );
unsigned pop( void );
unsigned char rw( int, unsigned, unsigned );
void dispc( char );
unsigned set_aaa( void );
unsigned set_bbb( void );

int ProcessIni( char * );