/* {"description" : "Header information from a video file." } */
data VideoHeader {
	int width
	int height
	int frames
	char fourcc[4]
	int numerator
	int denominator
	int headerLength
}

/* {"description" : "A frame of encoded video." } */
data VideoFrame {
	byte content[]
	int headerLength
	int timestamp
}

/* {"description" : "API to read a video file." } */
interface VideoFile {
	bool validHeader(byte content[])
	VideoHeader readHeader(byte content[])
	VideoFrame readFrame(byte content[], int offset)
}