Type-annotate these parameters, and add `@yield [tmpfile]` above.