taglinefilesource code
start_motor1613drivers/block/floppy.cif(start_motor(floppy_ready)) return;
start_motor2458drivers/block/floppy.cif(start_motor(redo_fd_request)) return;