// $Id$

class Bug372Names;
class Bug372Symbols: (Bug372Symbols with Bug372Names);