eda, compiler, documentor: Proper prototypes for invoking virtual methods directly