Here you can omit use, because it must be derived from the types of tmp and images