Remove superfluous stub (already stubbed in core_prologue)