string
->
Video
.
FPS
.t
->
int
->
int
->
Video
.
IO
.
Writer
.t