const specified_getterinfo: JSJitInfo;