module test;
fault Foo
{
}  // #error: no values