<?php
include 'bug01388-08b.inc';

scoped();
?>