vim: prove the focused function