/**
 * Demonstrate an @include file
 * line in a code block:
 *
 * <code>
 * \@include somefile.php
 * </code>
 */