const files_getterinfo: JSJitInfo;