const a_setterinfo: JSJitInfo;