-void __fastcall__ textframe (unsigned char width, unsigned char height,
- unsigned char style);
-/* Output a frame on the text screen with the given width and height
- * starting at the current cursor position and using the given style.
- */
+/* The addresses of the static drivers */
+extern void a2e_auxmem_emd[];
+extern void a2e_stdjoy_joy[]; /* Referred to by joy_static_stddrv[] */
+extern void a2e_stdmou_mou[]; /* Referred to by mouse_static_stddrv[] */
+extern void a2e_ssc_ser[];
+extern void a2e_hi_tgi[]; /* Referred to by tgi_static_stddrv[] */
+extern void a2e_lo_tgi[];
+
+
+
+/*****************************************************************************/
+/* Code */
+/*****************************************************************************/
+