jerry run
finish v0
finish