int main(int argc, char *argv[]) { return asc_support_main(argc, argv, register_SetAndElem, resolve_SetAndElem, init_SetAndElem); }
int main(int argc, char *argv[]) { return asc_support_main(argc, argv, register_OutermostList, resolve_OutermostList, init_OutermostList); }