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