Force use of a normal int main()