const onbeforeprint_getterinfo: JSJitInfo;