<?php
  // A php-style end tag in a comment must be honored
  echo "foo";
	// ?> 
  echo "bar";
?>