semantic: Fill in tinfos vtable member correctly.