(;;0 v0)