unsigned short Int12 (void);
unsigned long  Int1588 (void);
unsigned long  Int158A (void);
unsigned long  Int15C0 (void * _far buf);
unsigned long  Int15C7 (void * _far buf);
unsigned long  Int15DA88 (void);
unsigned long  Int15E801 (char ConfiguredMem);
void Int15E820 (void * _far buf);
unsigned long  Int15E881 (void);