const default_setterinfo: JSJitInfo;