michael@0: void extra();
michael@0: 
michael@0: int main(int argc, char** argv) {
michael@0:   extra();
michael@0:   return 0;
michael@0: }