class to_avi_file : string -> Video.FPS.t -> int -> int -> t
string -> Video.FPS.t -> int -> int ->
t