extern const int tacs; int main_amps_tacs(int argc, char *argv[]);