veterbi is written