const onreset_setterinfo: JSJitInfo;