const defer_setterinfo: JSJitInfo;