function onfunction_ptr(): void { }