EventProc is more "implementation" thing, you should not override it directly unless you are doing some very platform specific thing (which OTOH you seem to do .
Simply overriding it should be enough. But do not forget to call Ctrl::EventProc for messages you do not handle...