module test;
faultdef; // #error: Expected