const max_setterinfo: JSJitInfo;