module g ; faultdef F0, F1; module main; fn void main() {}