const protocol_setterinfo: JSJitInfo;