int main(int argc, char* []) { if(argc > 10000) { instantiate(double(0)); instantiate_mixed(double(0)); other_test(); } }
void other_test() { instantiate(double(0)); instantiate_mixed(double(0)); }