static void didaktik_sec_write( libspectrum_word port GCC_UNUSED, libspectrum_byte b ) { wd_fdc_sec_write( didaktik_fdc, b ); }
static void plusd_sec_write( libspectrum_word port GCC_UNUSED, libspectrum_byte b ) { wd_fdc_sec_write( plusd_fdc, b ); }