int double_num(int num) { return num * 2; }