const files_setterinfo: JSJitInfo;