<?php

$program_name = 'vlc';
$input_text = 'We collect 3 trace of VLC\'s allocation when doing:'."\n";
$input = array('Start program',
				'Play an MP3 (5.4mb - 4:10)',
				'Play 5 minutes of an AVI video (697.7mb - 53:02)'
				);

$input_ops = array(600245, 1537037, 2187756);

$program_desc = 'VLC is a portable multimedia player, encoder, and streamer'."\n";
$program_desc .= ' supporting many audio and video codecs and file formats as'."\n";
$program_desc .= ' well as DVDs, VCDs, and various streaming protocols. It is'."\n";
$program_desc .= ' able to stream over networks and to transcode multimedia files'."\n";
$program_desc .= ' and save them into various formats.'."\n";

require_once 'program_page.php';
?>