int input(void); void output(int a); void outputFloat(float a); void add_lab4_flag(int idx, int val);