Delete floprc.v