<?php

// Live coding/parse error. Ignore.
// This must be the last test in the file.
use