bug00212c.inc

<?php



class foo
{
    const MESSAGE = "Hello World\n";
}

echo foo::MESSAGE;
?>