taglinefilesource code
FD_SENSEI1571drivers/block/floppy.coutput_byte(FD_SENSEI);
FD_SENSEI1613drivers/block/floppy.coutput_byte(FD_SENSEI);