// $Id$ class Bug372Names; class Bug372Symbols requires (Bug372Symbols with Bug372Names);