lean how to use fork mode