void ex_rewind()
{
}