insert_committed [0] v0 k1 
delete_provisional [200,201] v0 
lock [200] v0