const m13_setterinfo: JSJitInfo;