<?php
echo "foo\n";
?>
