method vfunc f =
    current_function := f.svar.vname;
    DoChildren